DebugClients/Python/DebugClientBase.py

branch
debugger speed
changeset 5044
630b9f290a77
parent 5041
f00a4c8bcbbd
child 5046
d57f18f15f1a
equal deleted inserted replaced
5041:f00a4c8bcbbd 5044:630b9f290a77
11 import socket 11 import socket
12 import select 12 import select
13 import codeop 13 import codeop
14 import traceback 14 import traceback
15 import os 15 import os
16 import time
17 import imp 16 import imp
18 import re 17 import re
19 import atexit 18 import atexit
20 import signal 19 import signal
21 import inspect 20 import inspect
1106 Public method to poll for events like 'set break point'. 1105 Public method to poll for events like 'set break point'.
1107 """ 1106 """
1108 if self.pollingDisabled: 1107 if self.pollingDisabled:
1109 return 1108 return
1110 1109
1111 # the choice of a ~0.5 second poll interval is arbitrary.
1112 lasteventpolltime = getattr(self, 'lasteventpolltime', time.time())
1113 now = time.time()
1114 if now - lasteventpolltime < 0.5:
1115 self.lasteventpolltime = lasteventpolltime
1116 return
1117 else:
1118 self.lasteventpolltime = now
1119
1120 wrdy = [] 1110 wrdy = []
1121 if AsyncPendingWrite(self.writestream): 1111 if AsyncPendingWrite(self.writestream):
1122 wrdy.append(self.writestream) 1112 wrdy.append(self.writestream)
1123 1113
1124 if AsyncPendingWrite(self.errorstream): 1114 if AsyncPendingWrite(self.errorstream):

eric ide

mercurial