drivers/timers_win32/timers_win32.c
changeset 602 cbf29cccec18
parent 599 b2d2c3fab094
parent 600 7767029937aa
child 606 15a175f6305d
--- a/drivers/timers_win32/timers_win32.c	Tue Oct 06 17:15:32 2009 +0200
+++ b/drivers/timers_win32/timers_win32.c	Tue Oct 06 17:22:11 2009 +0200
@@ -70,7 +70,10 @@
 
 void WaitReceiveTaskEnd(TASK_HANDLE *Thread)
 {
-	WaitForSingleObject(*Thread, INFINITE);
+	if(WaitForSingleObject(*Thread, 1000) == WAIT_TIMEOUT)
+	{
+		TerminateThread(*Thread, -1);
+	}
 	CloseHandle(*Thread);
 }