From 588e2298289d694e1aa7c2ca691e7f332185861b Mon Sep 17 00:00:00 2001
From: Reiner Jung <reiner.jung@email.uni-kiel.de>
Date: Thu, 3 Dec 2020 12:09:21 +0100
Subject: [PATCH] Still debugging.
---
.../tools/compile/results/CompileResultsMain.java | 9 +++------
1 file changed, 3 insertions(+), 6 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 f5e0864..f1825c8 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
@@ -59,13 +59,10 @@ public class CompileResultsMain {
rootNode = readJsonString();
}
- System.err.println("json " + jsonMainFile);
- System.err.println("json " + jsonMainFile.getParentFile());
- System.err.println("json " + jsonMainFile.getParentFile().getPath());
+ String basePath=jsonMainFile.getParentFile()==null?"":jsonMainFile.getParentFile().getPath();
-
- File jsonPartialFile = new File(jsonMainFile.getParentFile().getPath() + File.separator + PARTIAL_RESULT_FILENAME);
- File jsonRelativeFile = new File(jsonMainFile.getParentFile().getPath() + File.separator + RELATIVE_RESULT_FILENAME);
+ File jsonPartialFile = new File(basePath + File.separator + PARTIAL_RESULT_FILENAME);
+ File jsonRelativeFile = new File(basePath + File.separator + RELATIVE_RESULT_FILENAME);
JsonNode resultsNode = rootNode.get(RESULTS_LABEL);
--
GitLab