summaryrefslogtreecommitdiffstats
path: root/Tools/scripts/serve.py
diff options
context:
space:
mode:
Diffstat (limited to 'Tools/scripts/serve.py')
-rwxr-xr-xTools/scripts/serve.py36
1 files changed, 0 insertions, 36 deletions
diff --git a/Tools/scripts/serve.py b/Tools/scripts/serve.py
deleted file mode 100755
index 7ac9c10..0000000
--- a/Tools/scripts/serve.py
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/usr/bin/env python3
-'''
-Small wsgiref based web server. Takes a path to serve from and an
-optional port number (defaults to 8000), then tries to serve files.
-Mime types are guessed from the file names, 404 errors are raised
-if the file is not found. Used for the make serve target in Doc.
-'''
-import sys
-import os
-import mimetypes
-from wsgiref import simple_server, util
-
-def app(environ, respond):
-
- fn = os.path.join(path, environ['PATH_INFO'][1:])
- if '.' not in fn.split(os.path.sep)[-1]:
- fn = os.path.join(fn, 'index.html')
- type = mimetypes.guess_type(fn)[0]
-
- if os.path.exists(fn):
- respond('200 OK', [('Content-Type', type)])
- return util.FileWrapper(open(fn, "rb"))
- else:
- respond('404 Not Found', [('Content-Type', 'text/plain')])
- return [b'not found']
-
-if __name__ == '__main__':
- path = sys.argv[1] if len(sys.argv) > 1 else os.getcwd()
- 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))
- try:
- httpd.serve_forever()
- except KeyboardInterrupt:
- print("Shutting down.")
- httpd.server_close()