From f630930e3c3d50df7ec5fab65fdc109f9183d3af Mon Sep 17 00:00:00 2001
From: jihoonl <jihoonl>
Date: Tue, 19 Jan 2010 22:58:22 +0000
Subject: [PATCH] change

---
 Robust/src/ClassLibrary/JavaDSM/Work.java | 2 +-
 Robust/src/IR/Flat/BuildCode.java         | 1 +
 Robust/src/Runtime/runtime.c              | 4 ++++
 3 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/Robust/src/ClassLibrary/JavaDSM/Work.java b/Robust/src/ClassLibrary/JavaDSM/Work.java
index 9888cbd9..242b51aa 100644
--- 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 4807be89..0a43b8bd 100644
--- 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 722b2dfd..0d520842 100644
--- 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
-- 
2.34.1