git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@5606
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
// THROW0(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
free(main_thread->exception);
free(main_thread);
// 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
#ifndef HAVE_SEM_WAIT
xbt_os_mutex_destroy(next_sem_ID_lock);
#endif