From 1f7de71090ab4e04413ab17dbe36ee2373c201c6 Mon Sep 17 00:00:00 2001 From: "R. David Murray" Date: Thu, 6 May 2010 00:59:04 +0000 Subject: [PATCH] Have the serve.py script announce the directory it is serving and which port it is serving it on (I can never remember the default port number it uses...) --- Tools/scripts/serve.py | 1 + 1 file changed, 1 insertion(+) diff --git a/Tools/scripts/serve.py b/Tools/scripts/serve.py index 61de63d1958..b8d9cd73387 100755 --- a/Tools/scripts/serve.py +++ b/Tools/scripts/serve.py @@ -28,4 +28,5 @@ if __name__ == '__main__': 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 %s on port %s" % (path, port) httpd.serve_forever()