drivers/timers_unix/timers_unix.c
changeset 401 2c90876b9751
parent 149 fe50ada8020b
child 454 bc000083297a
--- a/drivers/timers_unix/timers_unix.c	Mon Feb 18 17:14:22 2008 +0100
+++ b/drivers/timers_unix/timers_unix.c	Tue Feb 19 14:52:40 2008 +0100
@@ -73,10 +73,10 @@
 	pthread_create(Thread, NULL, ReceiveLoopPtr, (void*)port);
 }
 
-void WaitReceiveTaskEnd(TASK_HANDLE Thread)
+void WaitReceiveTaskEnd(TASK_HANDLE *Thread)
 {
-	pthread_kill(Thread, SIGTERM);
-	pthread_join(Thread, NULL);
+	pthread_kill(*Thread, SIGTERM);
+	pthread_join(*Thread, NULL);
 }
 
 #define maxval(a,b) ((a>b)?a:b)