From 2d007839a1e0f9775097f5f7cff14521d2afd021 Mon Sep 17 00:00:00 2001 From: yzhou Date: Fri, 1 May 2015 12:10:58 +0100 Subject: add time tag to the temporary output fixed a bug about equality in the tracking datalog encoding --- src/uk/ac/ox/cs/pagoda/util/Utility.java | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/util/Utility.java') diff --git a/src/uk/ac/ox/cs/pagoda/util/Utility.java b/src/uk/ac/ox/cs/pagoda/util/Utility.java index 120d463..6982bb1 100644 --- a/src/uk/ac/ox/cs/pagoda/util/Utility.java +++ b/src/uk/ac/ox/cs/pagoda/util/Utility.java @@ -11,6 +11,8 @@ import java.io.InputStreamReader; import java.io.OutputStreamWriter; import java.io.PrintStream; import java.text.SimpleDateFormat; +import java.time.LocalDateTime; +import java.time.format.DateTimeFormatter; import java.util.Collection; import java.util.Date; import java.util.HashSet; @@ -30,7 +32,7 @@ public class Utility { public static final String FILE_SEPARATOR = System.getProperty("file.separator"); public static final String LINE_SEPARATOR = System.getProperty("line.separator"); - public static final String TempDirectory = (new File("tmp")).getAbsolutePath() + FILE_SEPARATOR; + public static final String TempDirectory = (new File("tmp" + DateTimeFormatter.ISO_LOCAL_DATE_TIME.format(LocalDateTime.now()))).getAbsolutePath() + FILE_SEPARATOR; public static final int TEST = -1; public static final int FLY = 0; @@ -235,7 +237,11 @@ public class Utility { public static void cleanup() { File tmp = new File(TempDirectory); - if (tmp.exists()) tmp.delete(); + if (tmp.exists()) { + for (File file: tmp.listFiles()) + file.delete(); + tmp.delete(); + } } public static String toFileIRI(String path) { -- cgit v1.2.3