From: thiery <thiery@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Fri, 11 Aug 2006 08:19:40 +0000 (+0000)
Subject: Fix a seg fault when xbt_exit is called more than once
X-Git-Tag: v3.3~2649
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8c605e37c3e74b65b478e6d6aec9534cace344b7?ds=inline

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 51708ba8b6..927c613022 100644
--- 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();
 }