check if watched directories disappeared while MW was down

pull/53/head
Zlatin Balevsky 2020-09-04 14:44:04 +01:00
parent d3477b91fc
commit fec042ec36
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 5 additions and 1 deletions

View File

@ -96,8 +96,12 @@ class WatchedDirectoryManager {
forEach {
def parsed = slurper.parse(it.toFile())
WatchedDirectory wd = WatchedDirectory.fromJson(parsed)
watchedDirs.put(wd.directory, wd)
if (wd.directory.exists() && wd.directory.isDirectory()) // check if directory disappeared
watchedDirs.put(wd.directory, wd)
else
it.toFile().delete()
}
watchedDirs.values().stream().filter({it.autoWatch}).forEach {
eventBus.publish(new DirectoryWatchedEvent(directory : it.directory))
eventBus.publish(new FileSharedEvent(file : it.directory))