drivers/timers_win32/timers_win32.c
changeset 600 7767029937aa
parent 591 513f5ec8b628
child 602 cbf29cccec18
--- a/drivers/timers_win32/timers_win32.c	Thu Sep 24 10:03:07 2009 +0200
+++ b/drivers/timers_win32/timers_win32.c	Fri Sep 25 14:12:39 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);
 }