K Richard Pixley <r...@noir.com> added the comment: On second thought, my proposal is likely to break existing code, so I withdraw it.
I don't know how to exit the server in a way that both works in all conditions and also continues to support existing semantics. I expect we'll need to create a new call. Perhaps "request_shutdown" which simply sets the flag without waiting? ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue13749> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
