summaryrefslogtreecommitdiffstats
path: root/Tools/scripts/serve.py
diff options
context:
space:
mode:
authorR. David Murray <rdmurray@bitdance.com>2010-03-08 17:48:38 (GMT)
committerR. David Murray <rdmurray@bitdance.com>2010-03-08 17:48:38 (GMT)
commite821cb6f2470d082ad87105b574b506fe1e5d5d4 (patch)
tree80aa5bfe202d33bf34e293ea49919d039215d21e /Tools/scripts/serve.py
parent61605d7685141e3c88f201bcfb492fe456d11b6d (diff)
downloadcpython-e821cb6f2470d082ad87105b574b506fe1e5d5d4.zip
cpython-e821cb6f2470d082ad87105b574b506fe1e5d5d4.tar.gz
cpython-e821cb6f2470d082ad87105b574b506fe1e5d5d4.tar.bz2
Merged revisions 78416,78430 via svnmerge from
svn+ssh://pythondev@svn.python.org/python/trunk ........ r78416 | dirkjan.ochtman | 2010-02-23 23:12:11 -0500 (Tue, 23 Feb 2010) | 1 line Issue #8004: add a serve target to the Doc Makefile. ........ r78430 | dirkjan.ochtman | 2010-02-24 12:06:31 -0500 (Wed, 24 Feb 2010) | 1 line Add some notes about Tools/scripts/serve.py. ........
Diffstat (limited to 'Tools/scripts/serve.py')
-rwxr-xr-xTools/scripts/serve.py31
1 files changed, 31 insertions, 0 deletions
diff --git a/Tools/scripts/serve.py b/Tools/scripts/serve.py
new file mode 100755
index 0000000..61de63d
--- /dev/null
+++ b/Tools/scripts/serve.py
@@ -0,0 +1,31 @@
+#!/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.
+Mime types are guessed from the file names, 404 errors are thrown
+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))
+ else:
+ respond('404 Not Found', [('Content-Type', 'text/plain')])
+ return ['not found']
+
+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)
+ httpd.serve_forever()