[issue1193577] add server.shutdown() method to SocketServer

[Jeffrey Yasskin]

Jeffrey Yasskin added the comment:

I'll submit the attached patch in a couple days unless I get comments.

Added file: http://bugs.python.org/file9586/polling_shutdown.patch

_____________________________________
Tracker <report at bugs.python.org>
<http://bugs.python.org/issue1193577>
_____________________________________