Lines Matching defs:server
10 # There are two modes: server- and render- mode. The default is server, in which
21 # and for profiling the server. For example,
29 # Copy all the files necessary to run the server. These are cleaned up when the
30 # server quits.
45 # Sanitize path to guarantee that it stays within the server.
66 description='Runs a server to preview the extension documentation.',
69 help='port to run the server on')
72 'the server, e.g. apps/storage.html. The path may optionally end '
117 server = HTTPServer(('', int(opts.port)), _RequestHandler)
119 server.serve_forever()
121 server.socket.close()