Made +killFile call CkDieNow in mpi build.
authorEsteban Meneses <emenese2@illinois.edu>
Sat, 1 Sep 2012 19:39:17 +0000 (14:39 -0500)
committerEsteban Meneses <emenese2@illinois.edu>
Sat, 1 Sep 2012 19:39:17 +0000 (14:39 -0500)
src/ck-core/ckmemcheckpoint.C

index 71ad59bfdd4a91d954a68abaf3af76b5d7d6151e..4f12ca2d2bb115424e8971e73d8f20d860ab51e9 100644 (file)
@@ -1393,8 +1393,12 @@ void killLocal(void *_dummy,double curWallTime){
         printf("[%d] KillLocal called at %.6lf \n",CkMyPe(),CmiWallTimer());          
         if(CmiWallTimer()<killTime-1){
                 CcdCallFnAfter(killLocal,NULL,(killTime-CmiWallTimer())*1000);        
-        }else{  
+        }else{ 
+#if CMK_CONVERSE_MPI
+                               CkDieNow();
+#else 
                 kill(getpid(),SIGKILL);                                               
+#endif
         }              
 } 
 #else