drivers/timers_unix/timers_unix.c
changeset 35 88812de1d7cc
parent 32 8afa33692372
child 38 9b5bb1dcb4f5
--- 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