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