git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@5600
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
// if ((errcode=pthread_key_delete(xbt_self_thread_key)))
// THROW0(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
// 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);
+#ifndef HAVE_SEM_WAIT
+ xbt_os_mutex_destroy(next_sem_ID_lock);
+#endif
}
static void * wrapper_start_routine(void *s) {
}
static void * wrapper_start_routine(void *s) {