zervo/seb-server
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

SEBSERV-146 fixed

Browse source
This commit is contained in:
anhefti 2020-11-17 12:28:21 +01:00
parent e0ba0a9277
commit ff6e38d97f
No known key found for this signature in database
GPG key ID: E9AD9471B6BC114D
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/main/java/ch/ethz/seb/sebserver/gui/service/session/ClientConnectionTable.java
View file

@ -296,12 +296,12 @@ public final class ClientConnectionTable {
} }
public void updateValues() { public void updateValues() {
if (this.statusFilterChanged) { if (this.statusFilterChanged || this.forceUpdateAll) {
this.toDelete.clear(); this.toDelete.clear();
this.toDelete.addAll(this.tableMapping.keySet()); this.toDelete.addAll(this.tableMapping.keySet());
} }
this.restCallBuilder this.restCallBuilder
.withHeader(API.EXAM_MONITORING_STATE_FILTER, (this.forceUpdateAll) ? "" : this.statusFilterParam) .withHeader(API.EXAM_MONITORING_STATE_FILTER, this.statusFilterParam)
.call() .call()
.get(error -> { .get(error -> {
log.error("Error poll connection data: ", error); log.error("Error poll connection data: ", error);
@ -312,7 +312,7 @@ public final class ClientConnectionTable {
data.getConnectionId(), data.getConnectionId(),
UpdatableTableItem::new); UpdatableTableItem::new);
tableItem.push(data); tableItem.push(data);
if (this.statusFilterChanged) { if (this.statusFilterChanged || this.forceUpdateAll) {
this.toDelete.remove(data.getConnectionId()); this.toDelete.remove(data.getConnectionId());
} }
}); });