fix plugin build

auto-update plugin-0.8.11-b0
Zlatin Balevsky 2022-01-18 22:50:00 +00:00
parent a6f6e7815d
commit 89e4cf7a54
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 7 additions and 0 deletions

View File

@ -51,6 +51,13 @@ class WatchedDirectoryManager {
this.fileManager = fileManager
this.settings = settings
}
/**
* Used by the plugin only
* TODO: fix to work with symlinks and locking
*/
synchronized Stream<WatchedDirectory> getWatchedDirsStream() {
watchedDirs.values().stream()
}
synchronized boolean isWatched(File f) {
watchedDirs.containsKey(f) || aliasesMap.containsKey(f)