xbt_thread_t xbt_thread_create(const char *name, void_f_pvoid_t code,
- void *param)
+ void *param, int joinable)
{
xbt_thread_t res = xbt_new0(s_xbt_thread_t, 1);
{
DEBUG1("Join thread %p", thread);
xbt_os_thread_join(thread->os_thread, NULL);
+ xbt_free(thread);
}
void xbt_thread_exit()