2011-08-19 23:43:21 +00:00
|
|
|
#!/usr/bin/python
|
2017-04-10 17:16:56 +00:00
|
|
|
from __future__ import print_function
|
|
|
|
|
2011-08-19 23:43:21 +00:00
|
|
|
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:
|
2017-04-10 17:16:56 +00:00
|
|
|
print("Serving doc at port: http://localhost:8080")
|
2011-08-19 23:43:21 +00:00
|
|
|
httpd.serve_forever()
|
|
|
|
except KeyboardInterrupt:
|
|
|
|
pass
|