blob: fa2805938208a017b0d4f04bc0d3336ba590ee08 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/usr/bin/python3
from __future__ import print_function
import http.server
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(http.server.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 http.server.SimpleHTTPRequestHandler.send_head(self)
httpd = socketserver.TCPServer(
("", 8080),
ReusingTCPServer,
)
try:
print("Serving doc at port: http://localhost:8080")
httpd.serve_forever()
except KeyboardInterrupt:
pass
|
