--- a/drivers/timers_win32/timers_win32.c Fri Feb 03 22:13:25 2012 +0100
+++ b/drivers/timers_win32/timers_win32.c Fri Feb 03 22:34:44 2012 +0100
@@ -45,7 +45,7 @@
HANDLE timer_thread = NULL;
HANDLE timer = NULL;
-int stop_timer=0;
+volatile int stop_timer=0;
static TimerCallback_t init_callback;