Lines Matching defs:server
33 import http.server as http_server
2628 return self.server.get_dump_formatter(name)
2649 self.server.output_dumps(out_buffer)
2698 if self.server.set_dump_desc(name, description):
2746 self.server = http_server
2847 self.server.output_dump_desc_field(f, self.dumpfilename)
4011 help="start a web server on localhost:%i" % PORT_NUMBER)
4027 server = InspectionWebServer(PORT_NUMBER, options, args[0])
4030 server.serve_forever()
4032 print('^C received, shutting down the web server')
4033 server.socket.close()