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): |