Fix a seg fault when xbt_exit is called more than once

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

diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c
index 51708ba..927c613 100644 (file)
--- a/src/xbt/xbt_main.c
+++ b/src/xbt/xbt_main.c
@@ -42,9 +42,10 @@ xbt_init(int *argc, char **argv) {
 void 
 xbt_exit(){
   xbt_initialized--;
-  if (xbt_initialized == 0)
-     free(xbt_binary_name);
+  if (xbt_initialized == 0) {
+    free(xbt_binary_name);
+    xbt_fifo_exit();
+  }
   xbt_log_exit();
-  xbt_fifo_exit();
 }