122     __debug_tick = -1;

   122     __debug_tick = -1;

   123     pthread_mutex_unlock(&debug_wait_mutex);

   123     pthread_mutex_unlock(&debug_wait_mutex);

   124     pthread_mutex_destroy(&debug_wait_mutex);

   124     pthread_mutex_destroy(&debug_wait_mutex);

   125     pthread_mutex_unlock(&python_wait_mutex);

   125     pthread_mutex_unlock(&python_wait_mutex);

   126     pthread_mutex_destroy(&python_wait_mutex);

   126     pthread_mutex_destroy(&python_wait_mutex);

   127 }

   128 }

   128 

   129 

   129 extern int __tick;

   130 extern int __tick;

   130 /* from plc_debugger.c */

   131 /* from plc_debugger.c */

   131 int WaitDebugData()

   132 int WaitDebugData()