more changes

[IRC.git] / Robust / src / Runtime / runtime.c

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 9e9392277293396b0bca6ddfb89b29bfdbb0e449..8d1016c0617f06ed80684bf653d3505791ccec42 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -350,10 +350,9 @@ void CALL01(___System______printString____L___String___,struct ___String___ * __
     short sc=((short *)(((char *)&chararray->___length___)+sizeof(int)))[i+offset];
     putchar(sc);
   }
-
-#ifdef RECOVERYSTATS
+//#ifdef RECOVERYSTATS
   fflush(stdout);
-#endif
+//#endif
 }
 
 #ifdef D___RecoveryStat______printRecoveryStat____ 
@@ -364,6 +363,7 @@ void CALL00(___RecoveryStat______printRecoveryStat____) {
 #else
 void CALL00(___RecoveryStat______printRecoveryStat____) {
   printf("No Stat\n");
+  fflush(stdout);
 }
 #endif
 #endif