goldcollection
/
muwire
mirror of https://github.com/zlatinb/muwire
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

update plugin to set UUID before browsing

pull/53/head
Zlatin Balevsky 2020-10-20 10:17:14 +01:00
parent 9389fbbc12
commit 55c82afac8
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
webui/src/main/java/com/muwire/webui/BrowseManager.java
View File

@ -29,12 +29,12 @@ public class BrowseManager {
Browse browse = browses.get(e.getHost());
if (browse == null)
return; // hmm
if (!browse.uuid.equals(e.getUuid()))
return;
browse.status = e.getStatus();
browse.revision++;
if (browse.status == BrowseStatus.FETCHING) {
if (browse.status == BrowseStatus.FETCHING)
browse.totalResults = e.getTotalResults();
browse.uuid = e.getUuid();
}
}
public void onUIResultBatchEvent(UIResultBatchEvent e) {
@ -51,6 +51,7 @@ public class BrowseManager {
Browse browse = new Browse(p);
browses.put(p, browse);
UIBrowseEvent event = new UIBrowseEvent();
event.setUuid(browse.uuid);
event.setHost(p);
core.getEventBus().publish(event);
}
@ -72,11 +73,12 @@ public class BrowseManager {
private volatile BrowseStatus status;
private volatile int totalResults;
private volatile long revision;
private volatile UUID uuid;
private final UUID uuid;
private final List<UIResultEvent> results = Collections.synchronizedList(new ArrayList<>());
Browse(Persona persona) {
this.persona = persona;
this.uuid = UUID.randomUUID();
}
public BrowseStatus getStatus() {