DebugClients/Python/DebugBase.py

branch
debugger fine grinding
changeset 5667
86554f131048
parent 5659
cf3ecfec6321
child 5674
a0ad2dcb27f9
diff -r aa3532e96210 -r 86554f131048 DebugClients/Python/DebugBase.py
--- a/DebugClients/Python/DebugBase.py	Wed Mar 29 19:23:50 2017 +0200
+++ b/DebugClients/Python/DebugBase.py	Wed Mar 29 22:17:43 2017 +0200
@@ -65,6 +65,9 @@
 
     # cache for fixed file names
     _fnCache = {}
+    
+    # Stop all timers, when greenlets are used
+    pollTimerEnabled = True 
 
     def __init__(self, dbgClient):
         """
@@ -112,9 +115,11 @@
         """
         Private method to set a flag every 0.5 s to check for new messages.
         """
-        while True:
+        while DebugBase.pollTimerEnabled:
             time.sleep(0.5)
             self.eventPollFlag = True
+        
+        self.eventPollFlag = False
     
     def getCurrentFrame(self):
         """

eric ide

mercurial