diff -r 3e24a4d68325 -r 88812de1d7cc drivers/timers_unix/timers_unix.c --- a/drivers/timers_unix/timers_unix.c Mon Jun 19 16:35:12 2006 +0200 +++ b/drivers/timers_unix/timers_unix.c Tue Jun 20 16:56:39 2006 +0200 @@ -75,9 +75,10 @@ pthread_create(Thread, NULL, (void *)&ReceiveLoop, (void*)fd0); } -void WaitReceiveTaskEnd(TASK_HANDLE Thread) +void WaitReceiveTaskEnd(TASK_HANDLE *Thread) { - pthread_join(Thread, NULL); + pthread_kill(*Thread, SIGTERM); + pthread_join(*Thread, NULL); } #define max(a,b) a>b?a:b