assuming that rank 0 is the last to finish is a bad idea. the last

process to die has to free the dicts.

diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c
index 7214b99..993c9c5 100644 (file)
--- a/src/smpi/smpi_replay.c
+++ b/src/smpi/smpi_replay.c
@@ -362,7 +362,7 @@ void smpi_replay_init(int *argc, char***argv){
 }
 
 int smpi_replay_finalize(){
 }
 
 int smpi_replay_finalize(){

-  if(!smpi_process_index())
+  if(smpi_process_count()==1)

      _xbt_replay_action_exit();
   return PMPI_Finalize();
 }
      _xbt_replay_action_exit();
   return PMPI_Finalize();
 }