pydoc: close the DocServer when done

Victor Stinner · Victor Stinner · commit a3abd1d2401c · 2011-01-03T16:12:39.000Z
diff --git a/Lib/pydoc.py b/Lib/pydoc.py
@@ -2112,6 +2112,7 @@ def serve_until_quit(self):
             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 serve_until_quit(self):
                 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)
