From: Christophe Thiéry <christopho128@gmail.com>
Date: Mon, 19 Dec 2011 10:30:30 +0000 (+0100)
Subject: Make simix_timers NULL so can SIMIX_init works if called again later
X-Git-Tag: exp_20120216~237^2~3
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6106f667941dfa56c42ba98e35296279500f56e8?ds=sidebyside

Make simix_timers NULL so can SIMIX_init works if called again later
---

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index c575ee45ab..2c5a835464 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -135,6 +135,7 @@ void SIMIX_clean(void)
   SIMIX_network_exit();
 
   xbt_heap_free(simix_timers);
+  simix_timers = NULL;
   /* Free the remaining data structures */
   xbt_dynar_free(&simix_global->process_to_run);
   xbt_dynar_free(&simix_global->process_that_ran);