NOBUG Garbage collection after end merge.

This commit is contained in:
Paul Masurel
2017-07-14 12:09:47 +09:00
parent af4f1a86bc
commit e418bee693
3 changed files with 18 additions and 13 deletions

View File

@@ -117,6 +117,7 @@ impl ManagedDirectory {
/// an error is simply logged, and the file remains in the list of managed
/// files.
pub fn garbage_collect(&mut self, living_files: HashSet<PathBuf>) {
info!("Garbage collect");
let mut files_to_delete = vec![];
{
// releasing the lock as .delete() will use it too.