From 3a38dd4737471501b136b76255ef13854c4ba5d0 Mon Sep 17 00:00:00 2001 From: Rasmus Andersson Date: Wed, 5 Sep 2018 18:45:10 -0700 Subject: web: serve script for lab --- docs/lab/inter-ui.css | 1 + docs/lab/serve.py | 29 +++++++++++++++++++++++++++++ 2 files changed, 30 insertions(+) create mode 120000 docs/lab/inter-ui.css create mode 100755 docs/lab/serve.py (limited to 'docs') diff --git a/docs/lab/inter-ui.css b/docs/lab/inter-ui.css new file mode 120000 index 000000000..54b33a047 --- /dev/null +++ b/docs/lab/inter-ui.css @@ -0,0 +1 @@ +../inter-ui.css \ No newline at end of file diff --git a/docs/lab/serve.py b/docs/lab/serve.py new file mode 100755 index 000000000..9dd5378ce --- /dev/null +++ b/docs/lab/serve.py @@ -0,0 +1,29 @@ +#!/usr/bin/env python +from __future__ import print_function, absolute_import +import os, sys +import signal +import SimpleHTTPServer +import socket +import SocketServer + +def sighandler(signum, frame): + sys.stdout.write('\n') + sys.stdout.flush() + sys.exit(1) + +class TCPServer(SocketServer.TCPServer): + def server_bind(self): + self.socket.setsockopt(socket.SOL_SOCKET, socket.SO_REUSEADDR, 1) + self.socket.bind(self.server_address) + +os.chdir(os.path.dirname(os.path.abspath(__file__))) + +# make ^C instantly exit program +signal.signal(signal.SIGINT, sighandler) + +httpd = TCPServer( + ("127.0.0.1", 3002), + SimpleHTTPServer.SimpleHTTPRequestHandler) + +print("serving at http://localhost:3002/") +httpd.serve_forever() -- cgit v1.2.3