changeset 599 | b2d2c3fab094 |
parent 591 | 513f5ec8b628 |
child 602 | cbf29cccec18 |
--- a/drivers/timers_win32/timers_win32.c Mon Oct 05 11:35:40 2009 +0200 +++ b/drivers/timers_win32/timers_win32.c Mon Oct 05 14:31:55 2009 +0200 @@ -124,7 +124,10 @@ stop_timer = 1; setTimer(0); - WaitForSingleObject(timer_thread, INFINITE); + if(WaitForSingleObject(timer_thread,1000) == WAIT_TIMEOUT) + { + TerminateThread(timer_thread, -1); + } CloseHandle(timer); CloseHandle(timer_thread); }