diff options
Diffstat (limited to 'Tools/scripts/serve.py')
-rwxr-xr-x | Tools/scripts/serve.py | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/Tools/scripts/serve.py b/Tools/scripts/serve.py index 7ac9c10..399da1a 100755 --- a/Tools/scripts/serve.py +++ b/Tools/scripts/serve.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python3 +#!/usr/bin/env python ''' Small wsgiref based web server. Takes a path to serve from and an optional port number (defaults to 8000), then tries to serve files. @@ -19,18 +19,17 @@ def app(environ, respond): if os.path.exists(fn): respond('200 OK', [('Content-Type', type)]) - return util.FileWrapper(open(fn, "rb")) + return util.FileWrapper(open(fn)) else: respond('404 Not Found', [('Content-Type', 'text/plain')]) - return [b'not found'] + return ['not found'] if __name__ == '__main__': - path = sys.argv[1] if len(sys.argv) > 1 else os.getcwd() + path = sys.argv[1] port = int(sys.argv[2]) if len(sys.argv) > 2 else 8000 httpd = simple_server.make_server('', port, app) - print("Serving {} on port {}, control-C to stop".format(path, port)) + print "Serving %s on port %s, control-C to stop" % (path, port) try: httpd.serve_forever() except KeyboardInterrupt: - print("Shutting down.") - httpd.server_close() + print "\b\bShutting down." |