From 78a0c562ccbdc71f4da665e946599f5033e59cbb Mon Sep 17 00:00:00 2001 From: anhefti Date: Thu, 27 Jan 2022 14:50:53 +0100 Subject: [PATCH] minor fix in monitoring table update --- .../sebserver/gui/service/session/ClientConnectionTable.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main/java/ch/ethz/seb/sebserver/gui/service/session/ClientConnectionTable.java b/src/main/java/ch/ethz/seb/sebserver/gui/service/session/ClientConnectionTable.java index d33119a9..6a338c88 100644 --- a/src/main/java/ch/ethz/seb/sebserver/gui/service/session/ClientConnectionTable.java +++ b/src/main/java/ch/ethz/seb/sebserver/gui/service/session/ClientConnectionTable.java @@ -284,8 +284,11 @@ public final class ClientConnectionTable implements FullPageMonitoringGUIUpdate @Override public void update(final MonitoringStatus monitoringStatus) { + final Collection connectionData = monitoringStatus.getConnectionData(); + final boolean needsSync = monitoringStatus.statusFilterChanged() || this.forceUpdateAll || + connectionData.size() != this.table.getItemCount() || (this.tableMapping != null && this.table != null && this.tableMapping.size() != this.table.getItemCount())