// if ((errcode=pthread_key_delete(xbt_self_thread_key)))
// 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
}
static void * wrapper_start_routine(void *s) {
if (thread->exception)
free(thread->exception);
+ if (thread->name)
+ free(thread->name);
+
if (thread == main_thread) /* just killed main thread */
main_thread = NULL;