commit a3abd1d2401c5c6d93518b01686db837ed5612c0
author Victor Stinner <victor.stinner@haypocalc.com> Mon Jan 03 16:12:39 2011 +0000
committer Victor Stinner <victor.stinner@haypocalc.com> Mon Jan 03 16:12:39 2011 +0000
tree f5abcef3a856fe0ef6c2375590010f25c64bbacd
parent 2b69506c7997881fa7bad2bfd334db747f8cb820

pydoc: close the DocServer when done

Lib/pydoc.py

diff --git a/Lib/pydoc.py b/Lib/pydoc.py
index ea282f7..1855cd1 100755
--- a/Lib/pydoc.py
+++ b/Lib/pydoc.py
@@ -2112,6 +2112,7 @@
             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 @@
                 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)