[Skip Montanaro] > > def serve_forever(self): > > while self.serving: > > r,w,e = select.select([self.socket], [], [], self.pause) > > if r: > > self.handle_request() > > > > and set self.pause to something short-ish. The select call times out and > > the server exits.
[Paul Rubin] > 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 also like the idea of having the worker thread mixin part of the standard library -- it seems generally useful.) --Guido van Rossum (home page: http://www.python.org/~guido/) -- http://mail.python.org/mailman/listinfo/python-list
