Changes merged
authorlaurent
Wed, 09 Dec 2009 09:46:37 +0100
changeset 488 edbd8688a6a1
parent 487 1df4a28d3586 (current diff)
parent 484 3d0c06e2648c (diff)
child 489 e3adb9f63171
Changes merged
--- a/targets/Win32/plc_Win32_main.c	Wed Dec 09 09:46:13 2009 +0100
+++ b/targets/Win32/plc_Win32_main.c	Wed Dec 09 09:46:37 2009 +0100
@@ -187,6 +187,8 @@
     WaitForSingleObject(debug_sem, INFINITE);
     /*__DEBUG is protected by this mutex */
     __DEBUG = !disable;
+    if(disable)
+        ReleaseSemaphore(debug_sem, 1, NULL);
 }
 
 void resumeDebug()