rsms/inter
1
1
Fork 0
mirror of https://github.com/rsms/inter.git synced 2024-11-23 11:43:47 +03:00
Code Issues Projects Releases Wiki Activity

website helper script: python 3

Browse Source
This commit is contained in:
Rasmus Andersson 2019-01-27 19:19:56 -08:00
parent 6ac28e9940
commit b931b7c72d
1 changed files with 13 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
docs/lab/serve.py
View File

@ -2,28 +2,32 @@
from __future__ import print_function, absolute_import from __future__ import print_function, absolute_import
import os, sys import os, sys
import signal import signal
import SimpleHTTPServer
import socket import socket
import SocketServer import http.server
def sighandler(signum, frame): def sighandler(signum, frame):
sys.stdout.write('\n') sys.stdout.write('\n')
sys.stdout.flush() sys.stdout.flush()
sys.exit(1) sys.exit(1)
class TCPServer(SocketServer.TCPServer):
class HTTPServer(http.server.HTTPServer):
def __init__(self, addr):
http.server.HTTPServer.__init__(
self, addr, http.server.SimpleHTTPRequestHandler)
def server_bind(self): def server_bind(self):
self.socket.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1) self.socket.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1)
self.socket.bind(self.server_address) http.server.HTTPServer.server_bind(self)
os.chdir(os.path.dirname(os.path.abspath(__file__)))
addr = ("localhost", 3002)
# make ^C instantly exit program # make ^C instantly exit program
signal.signal(signal.SIGINT, sighandler) signal.signal(signal.SIGINT, sighandler)
httpd = TCPServer( os.chdir(os.path.dirname(os.path.abspath(__file__)))
("127.0.0.1", 3002),
SimpleHTTPServer.SimpleHTTPRequestHandler)
print("serving at http://localhost:3002/") httpd = HTTPServer(addr)
print("serving at http://%s:%d/" % addr)
httpd.serve_forever() httpd.serve_forever()