Message200508
Looks good. How about adding executor.shutdown(wait=False)? E.g.
def close(self):
self._ready.clear()
self._scheduled.clear()
executor = self._default_executor
if executor is not None:
self._default_executor = None
executor.shutdown(wait=False)
If that works for you, please commit. |
|
| Date |
User |
Action |
Args |
| 2013-10-19 22:32:32 | gvanrossum | set | recipients:
+ gvanrossum, pitrou, larry |
| 2013-10-19 22:32:32 | gvanrossum | set | messageid: <[email protected]> |
| 2013-10-19 22:32:32 | gvanrossum | link | issue19299 messages |
| 2013-10-19 22:32:32 | gvanrossum | create | |
|