if ((errcode = pthread_join(thread->t,thread_return)))
THROW0(system_error,errcode, "pthread_join failed");
+ free(thread);
}
void xbt_thread_exit(int *retval) {
if(!SetEvent(cond->events[SIGNAL]))
THROW0(system_error,0,"SetEvent failed");
- Sleep(0);
+ xbt_thread_yield();
}
void xbt_thcond_broadcast(xbt_thcond_t cond){