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