gwt: Fix bug where the statistics tables were not properly cleared.

rosedu · Mar 10, 2015 · b0de73e · b0de73e
1 parent cd749df
commit b0de73e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/gwt/vmchecker-gui/src/ro/pub/cs/vmchecker/client/ui/StatisticsWidget.java b/gwt/vmchecker-gui/src/ro/pub/cs/vmchecker/client/ui/StatisticsWidget.java
@@ -89,7 +89,8 @@ public HTMLTable getStudentTable() {
 		return studentTable;
 	}
 
-	private void populateTable(HTMLTable table, User user, Assignment assignments[], ArrayList<ResultInfo> resultsInfo) {
+	private void populateTable(FlexTable table, User user, Assignment assignments[], ArrayList<ResultInfo> resultsInfo) {
+		table.removeAllRows();
 		table.setCellPadding(5);
 		table.setCellSpacing(0);
 		table.setStyleName(style.table());