From 8c605e37c3e74b65b478e6d6aec9534cace344b7 Mon Sep 17 00:00:00 2001
From: thiery <thiery@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Fri, 11 Aug 2006 08:19:40 +0000
Subject: [PATCH] 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
---
 src/xbt/xbt_main.c | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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();
 }
 
-- 
2.20.1