ProjectController.py
changeset 1255 ff59c6a8b793
parent 1176 f4b434672204
child 1262 7b9259945453
--- a/ProjectController.py	Thu Jun 13 09:35:41 2013 +0200
+++ b/ProjectController.py	Thu Jun 13 09:37:43 2013 +0200
@@ -1237,6 +1237,8 @@
         IECdebug_data = self.IECdebug_datas.get(IECPath, None)
         if IECdebug_data is not None:
             IECdebug_data[0].pop(callableobj,None)
+            if len(IECdebug_data[0]) == 0:
+                self.IECdebug_datas.pop(IECPath)
         self.IECdebug_lock.release()
 
         self.ReArmDebugRegisterTimer()