DebugClients/Python/DebugClientBase.py

branch
debugger speed
changeset 5044
630b9f290a77
parent 5041
f00a4c8bcbbd
child 5046
d57f18f15f1a
diff -r f00a4c8bcbbd -r 630b9f290a77 DebugClients/Python/DebugClientBase.py
--- a/DebugClients/Python/DebugClientBase.py	Sun Jul 17 22:40:53 2016 +0200
+++ b/DebugClients/Python/DebugClientBase.py	Mon Jul 18 22:12:12 2016 +0200
@@ -13,7 +13,6 @@
 import codeop
 import traceback
 import os
-import time
 import imp
 import re
 import atexit
@@ -1108,15 +1107,6 @@
         if self.pollingDisabled:
             return
         
-        # the choice of a ~0.5 second poll interval is arbitrary.
-        lasteventpolltime = getattr(self, 'lasteventpolltime', time.time())
-        now = time.time()
-        if now - lasteventpolltime < 0.5:
-            self.lasteventpolltime = lasteventpolltime
-            return
-        else:
-            self.lasteventpolltime = now
-
         wrdy = []
         if AsyncPendingWrite(self.writestream):
             wrdy.append(self.writestream)

eric ide

mercurial