DebugClients/Python3/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 20
1111 Public method to poll for events like 'set break point'. 1110 Public method to poll for events like 'set break point'.
1112 """ 1111 """
1113 if self.pollingDisabled: 1112 if self.pollingDisabled:
1114 return 1113 return
1115 1114
1116 # the choice of a ~0.5 second poll interval is arbitrary.
1117 lasteventpolltime = getattr(self, 'lasteventpolltime', time.time())
1118 now = time.time()
1119 if now - lasteventpolltime < 0.5:
1120 self.lasteventpolltime = lasteventpolltime
1121 return
1122 else:
1123 self.lasteventpolltime = now
1124
1125 wrdy = [] 1115 wrdy = []
1126 if AsyncPendingWrite(self.writestream): 1116 if AsyncPendingWrite(self.writestream):
1127 wrdy.append(self.writestream) 1117 wrdy.append(self.writestream)
1128 1118
1129 if AsyncPendingWrite(self.errorstream): 1119 if AsyncPendingWrite(self.errorstream):

eric ide

mercurial