Lines Matching defs:DocServer
2217 class DocServer(http.server.HTTPServer):
2250 DocServer.base = http.server.HTTPServer
2251 DocServer.handler = DocHandler
2254 docsvr = DocServer(self.port, self.ready)
2255 self.docserver = docsvr
2268 self.docserver.quit = True
