Message 150968 - Python tracker

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?