change

diff --git a/Robust/src/ClassLibrary/JavaDSM/Work.java b/Robust/src/ClassLibrary/JavaDSM/Work.java
index 9888cbd90009f06116de4553ff451bb6dc54afb7..242b51aac1c85d03185bbedfe7803050c4b959b6 100644 (file)
--- a/Robust/src/ClassLibrary/JavaDSM/Work.java
+++ b/Robust/src/ClassLibrary/JavaDSM/Work.java
@@ -64,7 +64,7 @@ public class Work extends Thread {
     atomic {
       tasks.output();
     }
-    System.out.println("\n\n\n I'm done");
+    System.out.println("\n\n I'm done\n\n\n");
 
   }
 

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 4807be892350332bd84bda4dd05b588c065aab1b..0a43b8bdc98c0fafc84df5ac797710df1f53c211 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -421,6 +421,7 @@ public class BuildCode {
       outmethod.println("  printf(\"Dead Machine = %s\\n\",midtoIPString(deadMachine[nRecovery]));");
       outmethod.println("  printf(\"Recovery Time = %.2f\\n\",elapsedTime[nRecovery]);");
       outmethod.println("}\n");
+      outmethod.println("printf(\"**************************\\n\\n\");");
       outmethod.println("#endif\n");
     }
 

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 722b2dfd34fcf1724b3e18b38a186cc43da30b8d..0d5208428a7bbd5ac5b573d02cf539098635cc7e 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -356,6 +356,10 @@ void CALL01(___System______printString____L___String___,struct ___String___ * __
     short sc=((short *)(((char *)&chararray->___length___)+sizeof(int)))[i+offset];
     putchar(sc);
   }
+
+#ifdef RECOVERYSTATS
+  fflush(stdout);
+#endif
 }
 
 #ifdef DSTM