How to kill a SocketServer?

[Paul Rubin]

"guido at python.org" <gvanrossum at gmail.com> writes:
> > Ah, good point.  Something like this should probably be added to
> > SocketServer.py (optional timeout parameter to serve_forever), or at
> > least the trick should be mentioned in the docs.
> 
> I like this idea, and perhaps you all could come up with some more
> useful APIs in this area; I know that I often struggle a bit with
> getting these servers to stop.

I put an RFE in sourceforge last night, suggesting adding a shutdown()
method to socket servers.