From a3abd1d2401c5c6d93518b01686db837ed5612c0 Mon Sep 17 00:00:00 2001 From: Victor Stinner Date: Mon, 3 Jan 2011 16:12:39 +0000 Subject: [PATCH] pydoc: close the DocServer when done --- Lib/pydoc.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Lib/pydoc.py b/Lib/pydoc.py index ea282f77acd..1855cd1cf27 100755 --- a/Lib/pydoc.py +++ b/Lib/pydoc.py @@ -2112,6 +2112,7 @@ pydoc by Ka-Ping Yee <ping@lfw.org>''' while not self.quit: rd, wr, ex = select.select([self.socket.fileno()], [], [], 1) if rd: self.handle_request() + self.server_close() def server_activate(self): self.base.server_activate(self) @@ -2409,6 +2410,7 @@ def _start_server(urlhandler, port): rd, wr, ex = select.select([self.socket.fileno()], [], [], 1) if rd: self.handle_request() + self.server_close() def server_activate(self): self.base.server_activate(self)