well..

diff --git a/Robust/src/Benchmarks/Recovery/FileSystem/recovery/FileSystem.java b/Robust/src/Benchmarks/Recovery/FileSystem/recovery/FileSystem.java
index 9506901c7e1fc5d7a92fa17119f2f5a945a1af13..d755b05414cad55e08f3f3b7d60b7dbf5b86706d 100644 (file)
--- a/Robust/src/Benchmarks/Recovery/FileSystem/recovery/FileSystem.java
+++ b/Robust/src/Benchmarks/Recovery/FileSystem/recovery/FileSystem.java
@@ -142,6 +142,10 @@ public class FileSystem extends Thread {
 \r
     System.out.println("\n\n\n I'm done\n\n\n");\r
 \r
+    while(true) {\r
+      sleep(100000);\r
+    }\r
+\r
        }\r
 \r
        public void output() { \r

diff --git a/Robust/src/Benchmarks/Recovery/SpamFilter/recovery/SpamFilter.java b/Robust/src/Benchmarks/Recovery/SpamFilter/recovery/SpamFilter.java
index 693c7e90e54d5530da7677b4088af05aba2bd973..ae8476e3f317f05f7ba67c8a6c0e5b8fa23bd792 100644 (file)
--- a/Robust/src/Benchmarks/Recovery/SpamFilter/recovery/SpamFilter.java
+++ b/Robust/src/Benchmarks/Recovery/SpamFilter/recovery/SpamFilter.java
@@ -115,6 +115,10 @@ public class SpamFilter extends Thread {
     System.out.println("\n\n\n I'm Done\n\n\n");
     
     RecoveryStat.printRecoveryStat();
+
+    while(true) {
+      sleep(1000000);
+    }
   }
 
   public static void main(String[] args) {