From 071cbcc0eb242846a0a886f9cec27bfe92520c08 Mon Sep 17 00:00:00 2001 From: suter Date: Thu, 29 Nov 2012 16:40:26 +0100 Subject: [PATCH] assuming that rank 0 is the last to finish is a bad idea. the last process to die has to free the dicts. --- src/smpi/smpi_replay.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c index 7214b99498..993c9c5ca4 100644 --- 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(){ - if(!smpi_process_index()) + if(smpi_process_count()==1) _xbt_replay_action_exit(); return PMPI_Finalize(); } -- 2.20.1