+++ /dev/null
-#!/usr/bin/python
-from __future__ import print_function
-
-import SimpleHTTPServer
-import SocketServer
-import os
-import sys
-
-path = os.path.dirname(sys.argv[0])
-os.chdir(path)
-os.chdir('..')
-os.chdir('build-doc/output/html')
-
-class ReusingTCPServer(SimpleHTTPServer.SimpleHTTPRequestHandler):
- allow_reuse_address = True
-
- def send_head(self):
- # horrible kludge because SimpleHTTPServer is buggy wrt
- # slash-redirecting of requests with query arguments, and will
- # redirect to /foo?q=bar/ -- wrong slash placement
- self.path = self.path.split('?', 1)[0]
- return SimpleHTTPServer.SimpleHTTPRequestHandler.send_head(self)
-
-httpd = SocketServer.TCPServer(
- ("", 8080),
- ReusingTCPServer,
- )
-try:
- print("Serving doc at port: http://localhost:8080")
- httpd.serve_forever()
-except KeyboardInterrupt:
- pass