--- a/targets/Linux/plc_Linux_main.c	Wed Dec 09 00:56:18 2009 +0100
+++ b/targets/Linux/plc_Linux_main.c	Wed Dec 09 01:11:48 2009 +0100
@@ -111,8 +111,8 @@
         if(__DEBUG){
             return 1;
         }
+        pthread_mutex_unlock(&debug_mutex);
     }
-    pthread_mutex_unlock(&debug_mutex);
     return 0;
 }
 
@@ -127,12 +127,10 @@
     PLC_SetTimer(0,0);
     timer_delete (PLC_timer);
     __cleanup();
-    __debug_tick = -1;
-    pthread_mutex_unlock(&debug_mutex);
-    pthread_mutex_unlock(&debug_wait_mutex);
     pthread_mutex_destroy(&debug_wait_mutex);
-    pthread_mutex_unlock(&python_wait_mutex);
+    pthread_mutex_destroy(&debug_mutex);
     pthread_mutex_destroy(&python_wait_mutex);
+    pthread_mutex_destroy(&python_mutex);
     return 0;
 }
 
@@ -198,3 +196,11 @@
 {
     pthread_mutex_lock(&python_mutex);
 }
+
+void Retain(unsigned int offset, unsigned int count, void *p)
+{
+}
+
+void Remind(unsigned int offset, unsigned int count, void *p)
+{
+}