From: cristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 5 Jan 2011 09:02:45 +0000 (+0000)
Subject: Bugfix: killall should execute all processes after killing them in order to let them... 
X-Git-Tag: v3.6_beta2~571
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3a04e753eda34fd4f9879f943076ccd149d879e8

Bugfix: killall should execute all processes after killing them in order to let them clean up.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9357 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---

diff --git a/src/simix/smx_process.c b/src/simix/smx_process.c
index 85bd1ee631..136a1f68c0 100644
--- a/src/simix/smx_process.c
+++ b/src/simix/smx_process.c
@@ -245,6 +245,7 @@ void SIMIX_process_killall(void)
   while ((p = xbt_swag_extract(simix_global->process_list)))
     SIMIX_process_kill(p, SIMIX_process_self());
 
+  SIMIX_context_runall(simix_global->process_to_run);
   SIMIX_process_empty_trash();
 }