offload deletion to disk IO thread

pull/62/head
Zlatin Balevsky 2021-06-12 16:28:35 +01:00
parent 49787fb4dc
commit d3cfcef063
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 4 additions and 3 deletions

View File

@ -149,9 +149,10 @@ class WatchedDirectoryManager {
log.warning("unshared a directory that wasn't watched? ${e.directory}") log.warning("unshared a directory that wasn't watched? ${e.directory}")
return return
} }
diskIO.submit({
File persistFile = new File(home, wd.getEncodedName() + ".json") File persistFile = new File(home, wd.getEncodedName() + ".json")
persistFile.delete() persistFile.delete()
} as Runnable)
} }
private void sync() { private void sync() {