From: thiery 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(); }