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