From ecd8e4ee6c8c0f3647a7a8ce2ed95d8f1aba93e0 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 27 Nov 2012 15:32:03 +0100 Subject: [PATCH] Call xbt_log_postexit() at the end. --- src/xbt/xbt_main.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/xbt/xbt_main.c b/src/xbt/xbt_main.c index 93c8e5c25a..3b453c6ecb 100644 --- a/src/xbt/xbt_main.c +++ b/src/xbt/xbt_main.c @@ -105,12 +105,14 @@ static void xbt_postexit(void) xbt_fifo_postexit(); xbt_dict_postexit(); - xbt_log_postexit(); xbt_os_thread_mod_postexit(); - free(xbt_binary_name); xbt_dynar_free(&xbt_cmdline); + xbt_log_postexit(); + + free(xbt_binary_name); + #ifdef MMALLOC_WANT_OVERRIDE_LEGACY mmalloc_postexit(); #endif -- 2.20.1