Delete files when forgetting them

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

View File

@ -1074,6 +1074,8 @@ void FileManager::try_forget_file_id(FileId file_id) {
*info = FileIdInfo(); *info = FileIdInfo();
file_id_info_.erase(file_id.get()); file_id_info_.erase(file_id.get());
// Start custom-patches // Start custom-patches
file_id.reset_time();
destroy_query(file_id.get());
context_->destroy_file_source(file_id); context_->destroy_file_source(file_id);
// End custom-patches // End custom-patches
} }