From f485e4b5abcbdd9cdc9ce0652940bced109b11cf Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Tue, 1 Dec 2020 16:03:58 +0100
Subject: [PATCH] Fixed build number computation.

---
 .../tools/compile/results/CompileResultsMain.java  | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/tools/compile-results/src/main/java/moobench/tools/compile/results/CompileResultsMain.java b/tools/compile-results/src/main/java/moobench/tools/compile/results/CompileResultsMain.java
index 5bbf3fa..0faa8f1 100644
--- a/tools/compile-results/src/main/java/moobench/tools/compile/results/CompileResultsMain.java
+++ b/tools/compile-results/src/main/java/moobench/tools/compile/results/CompileResultsMain.java
@@ -53,20 +53,18 @@ public class CompileResultsMain {
 			
 			ArrayNode arrayResultsNode = (ArrayNode)resultsNode;
 			
-			long build = arrayResultsNode.size();
+			long build = 0;
 			
-			/** Fix old data in necessary. */
+			/** Handle old data in necessary. */
 			for (int i=0;i<arrayResultsNode.size();i++) {
 				JsonNode node = arrayResultsNode.get(i);
 				if (node instanceof ObjectNode) {
 					ObjectNode objectNode = (ObjectNode)node;
-					JsonNode timeValue = objectNode.get("time");
-					if (timeValue == null) {
-						objectNode.put("time", new Date().getTime());
-					}
 					JsonNode buildValue = objectNode.get("build");
-					if (buildValue == null) {
-						objectNode.put("build", i);
+					if (buildValue != null) {
+						if (build <= buildValue) {
+							build = buildValue + 1;
+						}
 					}
 				}
 			}
-- 
GitLab