web: serve script for lab

2 files changed, 30 insertions, 0 deletions

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()