Guido van Rossum added the comment:
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.
----------
assignee: gvanrossum -> pitrou
_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue19299>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
