From: bdemsky <bdemsky>
Date: Sat, 16 Jul 2011 00:28:54 +0000 (+0000)
Subject: add finish printfs
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=9da0ce3a7e4956f207be80b040806aef492dddc8;p=IRC.git

add finish printfs
---

diff --git a/Robust/src/Runtime/bamboo/multicoreruntime.c b/Robust/src/Runtime/bamboo/multicoreruntime.c
index 1751a7a3..defc9709 100644
--- a/Robust/src/Runtime/bamboo/multicoreruntime.c
+++ b/Robust/src/Runtime/bamboo/multicoreruntime.c
@@ -298,6 +298,7 @@ void CALL11(___System______exit____I,
     print_statistics();
 #endif
     gc_outputProfileDataReadable();
+    tprintf("FINISH_EXECUTION\n");
   }
 #endif 
   BAMBOO_EXIT_APP(___status___);
@@ -765,6 +766,7 @@ void checkCoreStatus() {
 #endif
 	  gc_outputProfileDataReadable();
           disruntimedata();
+	  tprintf("FINISH_EXECUTION\n");
           BAMBOO_ENTER_CLIENT_MODE_FROM_RUNTIME();
           terminate();  // All done.
         }