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...)

diff --git a/Tools/scripts/serve.py b/Tools/scripts/serve.py
index 61de63d1958984954c1b6703801d5c513f601f92..b8d9cd73387d9607340cec000c58520b13b3d92b 100755 (executable)
--- 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()