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); }