Allow reinitialization after Martin's last memleak plug.

[simgrid.git] / src / xbt / xbt_os_thread.c

diff --git a/src/xbt/xbt_os_thread.c b/src/xbt/xbt_os_thread.c
index 54880f6..71716e2 100644 (file)
--- a/src/xbt/xbt_os_thread.c
+++ b/src/xbt/xbt_os_thread.c
@@ -105,6 +105,8 @@ void xbt_os_thread_mod_exit(void) {
 //     THROW0(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
    free(main_thread->exception);
    free(main_thread);
+   main_thread = NULL;
+   thread_mod_inited=0;
 #ifndef HAVE_SEM_WAIT
    xbt_os_mutex_destroy(next_sem_ID_lock);
 #endif