no join!

diff --git a/Robust/src/ClassLibrary/JavaDSM/Work.java b/Robust/src/ClassLibrary/JavaDSM/Work.java
index daad9487f085273f692b0321873e04affd5d6703..6b299e4182fc1b0a978fea3ccff683ad247cd59a 100644 (file)
--- a/Robust/src/ClassLibrary/JavaDSM/Work.java
+++ b/Robust/src/ClassLibrary/JavaDSM/Work.java
@@ -66,6 +66,10 @@ public class Work extends Thread {
     System.out.println("\n\n I'm done\n\n\n");
 
     RecoveryStat.printRecoveryStat();
+
+    while(true) {
+      sleep(100000);
+    }
   }
 
        public static int checkCurrentWorkList(Work mywork) {