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: <1382221952.56.0.521470944599.issue19299@psf.upfronthosting.co.za> |
2013-10-19 22:32:32 | gvanrossum | link | issue19299 messages |
2013-10-19 22:32:32 | gvanrossum | create | |
|