Important bugfix

This commit is contained in:
Andrea Cavalli 2020-08-04 00:50:50 +02:00
parent cf20048560
commit a8abec44a0

View File

@ -3894,7 +3894,7 @@ void FileManager::memory_cleanup() {
destroy_query(it->first);
/* DESTROY MAIN NODE */
file_nodes_.erase(it->first);
file_nodes_.erase(it->second.node_id_);
/* DESTROY MAIN FILE LATE */
file_to_be_deleted.push_back(it->first);