targets/Linux/plc_Linux_main.c
changeset 485 8b2da4b9d408
parent 483 bc26c42d2eec
child 518 8e61b0066859
--- a/targets/Linux/plc_Linux_main.c	Wed Dec 09 01:11:48 2009 +0100
+++ b/targets/Linux/plc_Linux_main.c	Wed Dec 09 09:43:21 2009 +0100
@@ -159,6 +159,8 @@
     pthread_mutex_lock(&debug_mutex);
     /*__DEBUG is protected by this mutex */
     __DEBUG = !disable;
+    if (disable)
+    	pthread_mutex_unlock(&debug_mutex);
 }
 
 void resumeDebug(void)