update plugin file manager on deleted files

This commit is contained in:
Zlatin Balevsky
2020-03-23 18:31:42 +00:00
parent 83cd5e57a2
commit 6f4b4a2c2d
2 changed files with 9 additions and 0 deletions

View File

@ -61,6 +61,13 @@ public class FileManager {
}
}
public void onFileUnsharedEvent(FileUnsharedEvent e) {
if (!e.getDeleted())
return;
fileTree.remove(e.getUnsharedFile().getFile());
revision++;
}
void list(File parent, FileListCallback<SharedFile> callback) {
fileTree.list(parent, callback);
}

View File

@ -34,6 +34,7 @@ import com.muwire.core.files.FileHashedEvent;
import com.muwire.core.files.FileHashingEvent;
import com.muwire.core.files.FileLoadedEvent;
import com.muwire.core.files.FileSharedEvent;
import com.muwire.core.files.FileUnsharedEvent;
import com.muwire.core.search.BrowseStatusEvent;
import com.muwire.core.search.UIResultBatchEvent;
import com.muwire.core.search.UIResultEvent;
@ -150,6 +151,7 @@ public class MuWireClient {
core.getEventBus().register(FileHashedEvent.class, fileManager);
core.getEventBus().register(FileDownloadedEvent.class, fileManager);
core.getEventBus().register(FileHashingEvent.class, fileManager);
core.getEventBus().register(FileUnsharedEvent.class, fileManager);
BrowseManager browseManager = new BrowseManager(core);
core.getEventBus().register(BrowseStatusEvent.class, browseManager);