2016-10-17 23:02:05 -06:00
|
|
|
#!/usr/bin/env python3
|
2016-10-14 22:26:47 -06:00
|
|
|
|
2016-10-18 09:34:06 -06:00
|
|
|
import cgi
|
2016-10-15 21:47:50 -06:00
|
|
|
import glob
|
2016-10-14 22:26:47 -06:00
|
|
|
import http.server
|
|
|
|
|
import mistune
|
2016-10-20 11:32:21 -06:00
|
|
|
import moth
|
2016-10-16 19:52:09 -06:00
|
|
|
import os
|
2016-10-14 22:26:47 -06:00
|
|
|
import pathlib
|
|
|
|
|
import socketserver
|
2016-10-18 09:34:06 -06:00
|
|
|
import sys
|
|
|
|
|
import traceback
|
2016-10-14 22:26:47 -06:00
|
|
|
|
2016-10-17 19:58:51 -06:00
|
|
|
try:
|
|
|
|
|
from http.server import HTTPStatus
|
|
|
|
|
except ImportError:
|
2016-10-17 15:37:11 -06:00
|
|
|
class HTTPStatus:
|
|
|
|
|
NOT_FOUND = 404
|
|
|
|
|
OK = 200
|
2016-10-14 22:26:47 -06:00
|
|
|
|
2016-10-17 23:02:05 -06:00
|
|
|
# XXX: This will eventually cause a problem. Do something more clever here.
|
|
|
|
|
seed = 1
|
|
|
|
|
|
2016-10-17 20:28:24 -06:00
|
|
|
|
2016-10-14 22:26:47 -06:00
|
|
|
def page(title, body):
|
|
|
|
|
return """<!DOCTYPE html>
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>{}</title>
|
2016-10-20 11:49:43 -06:00
|
|
|
<link rel="stylesheet" href="/files/src/www/res/style.css">
|
2016-10-14 22:26:47 -06:00
|
|
|
</head>
|
|
|
|
|
<body>
|
2016-10-16 20:32:00 -06:00
|
|
|
<div id="preview" class="terminal">
|
2016-10-14 22:26:47 -06:00
|
|
|
{}
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
</html>""".format(title, body)
|
|
|
|
|
|
2016-10-17 19:58:51 -06:00
|
|
|
|
2016-10-14 22:26:47 -06:00
|
|
|
def mdpage(body):
|
2016-10-15 21:47:50 -06:00
|
|
|
try:
|
|
|
|
|
title, _ = body.split('\n', 1)
|
|
|
|
|
except ValueError:
|
|
|
|
|
title = "Result"
|
|
|
|
|
title = title.lstrip("#")
|
|
|
|
|
title = title.strip()
|
2016-10-14 22:26:47 -06:00
|
|
|
return page(title, mistune.markdown(body))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class ThreadingServer(socketserver.ThreadingMixIn, http.server.HTTPServer):
|
|
|
|
|
pass
|
|
|
|
|
|
2016-10-17 19:58:51 -06:00
|
|
|
|
2016-10-18 09:34:06 -06:00
|
|
|
class MothHandler(http.server.SimpleHTTPRequestHandler):
|
|
|
|
|
def handle_one_request(self):
|
|
|
|
|
try:
|
|
|
|
|
super().handle_one_request()
|
|
|
|
|
except:
|
|
|
|
|
tbtype, value, tb = sys.exc_info()
|
|
|
|
|
tblist = traceback.format_tb(tb, None) + traceback.format_exception_only(tbtype, value)
|
|
|
|
|
page = ("# Traceback (most recent call last)\n" +
|
|
|
|
|
" " +
|
|
|
|
|
" ".join(tblist[:-1]) +
|
|
|
|
|
tblist[-1])
|
|
|
|
|
self.serve_md(page)
|
|
|
|
|
|
|
|
|
|
|
2016-10-14 22:26:47 -06:00
|
|
|
def do_GET(self):
|
|
|
|
|
if self.path == "/":
|
|
|
|
|
self.serve_front()
|
2016-10-15 21:47:50 -06:00
|
|
|
elif self.path.startswith("/puzzles"):
|
|
|
|
|
self.serve_puzzles()
|
|
|
|
|
elif self.path.startswith("/files"):
|
2016-10-14 22:26:47 -06:00
|
|
|
self.serve_file()
|
|
|
|
|
else:
|
|
|
|
|
self.send_error(HTTPStatus.NOT_FOUND, "File not found")
|
|
|
|
|
|
|
|
|
|
def translate_path(self, path):
|
|
|
|
|
if path.startswith('/files'):
|
|
|
|
|
path = path[7:]
|
|
|
|
|
return super().translate_path(path)
|
|
|
|
|
|
|
|
|
|
def serve_front(self):
|
|
|
|
|
page = """
|
|
|
|
|
MOTH Development Server Front Page
|
|
|
|
|
====================
|
|
|
|
|
|
|
|
|
|
Yo, it's the front page.
|
|
|
|
|
There's stuff you can do here:
|
|
|
|
|
|
|
|
|
|
* [Available puzzles](/puzzles)
|
|
|
|
|
* [Raw filesystem view](/files/)
|
|
|
|
|
* [Documentation](/files/doc/)
|
|
|
|
|
* [Instructions](/files/doc/devel-server.md) for using this server
|
|
|
|
|
|
|
|
|
|
If you use this development server to run a contest,
|
|
|
|
|
you are a fool.
|
|
|
|
|
"""
|
|
|
|
|
self.serve_md(page)
|
|
|
|
|
|
2016-10-15 21:47:50 -06:00
|
|
|
def serve_puzzles(self):
|
|
|
|
|
body = []
|
2016-10-16 20:32:00 -06:00
|
|
|
path = self.path.rstrip('/')
|
|
|
|
|
parts = path.split("/")
|
2016-10-18 20:11:20 -06:00
|
|
|
#raise ValueError(parts)
|
2016-10-15 21:47:50 -06:00
|
|
|
if len(parts) < 3:
|
|
|
|
|
# List all categories
|
2016-10-16 19:52:09 -06:00
|
|
|
body.append("# Puzzle Categories")
|
|
|
|
|
for i in glob.glob(os.path.join("puzzles", "*", "")):
|
2016-10-15 21:47:50 -06:00
|
|
|
body.append("* [{}](/{})".format(i, i))
|
2016-10-18 20:11:20 -06:00
|
|
|
self.serve_md('\n'.join(body))
|
|
|
|
|
return
|
|
|
|
|
|
|
|
|
|
fpath = os.path.join("puzzles", parts[2])
|
2016-10-20 11:32:21 -06:00
|
|
|
cat = moth.Category(fpath, seed)
|
2016-10-18 20:11:20 -06:00
|
|
|
if len(parts) == 3:
|
2016-10-16 19:52:09 -06:00
|
|
|
# List all point values in a category
|
|
|
|
|
body.append("# Puzzles in category `{}`".format(parts[2]))
|
2016-10-17 23:02:05 -06:00
|
|
|
for points in cat.pointvals:
|
|
|
|
|
body.append("* [puzzles/{cat}/{points}](/puzzles/{cat}/{points}/)".format(cat=parts[2], points=points))
|
2016-10-18 20:11:20 -06:00
|
|
|
self.serve_md('\n'.join(body))
|
|
|
|
|
return
|
|
|
|
|
|
|
|
|
|
pzl = cat.puzzle(int(parts[3]))
|
|
|
|
|
if len(parts) == 4:
|
2016-10-16 19:52:09 -06:00
|
|
|
body.append("# {} puzzle {}".format(parts[2], parts[3]))
|
2016-10-18 20:11:20 -06:00
|
|
|
body.append("* Author: `{}`".format(pzl['author']))
|
|
|
|
|
body.append("* Summary: `{}`".format(pzl['summary']))
|
2016-10-16 20:32:00 -06:00
|
|
|
body.append('')
|
|
|
|
|
body.append("## Body")
|
2016-10-18 20:11:20 -06:00
|
|
|
body.append(pzl.body)
|
2016-10-17 23:02:05 -06:00
|
|
|
body.append("## Answers")
|
2016-10-18 20:11:20 -06:00
|
|
|
for a in pzl['answer']:
|
2016-10-16 20:32:00 -06:00
|
|
|
body.append("* `{}`".format(a))
|
|
|
|
|
body.append("")
|
2016-10-18 20:11:20 -06:00
|
|
|
body.append("## Files")
|
|
|
|
|
for pzl_file in pzl['files']:
|
|
|
|
|
body.append("* [puzzles/{cat}/{points}/{filename}]({filename})"
|
|
|
|
|
.format(cat=parts[2], points=pzl.points, filename=pzl_file))
|
2016-10-19 15:02:38 -06:00
|
|
|
|
|
|
|
|
if len(pzl.logs) > 0:
|
|
|
|
|
body.extend(["", "## Logs"])
|
|
|
|
|
body.append("* [Full Log File](_logs)"
|
|
|
|
|
.format(cat=parts[2], points=pzl.points))
|
|
|
|
|
body.extend(["", "### Logs Head"])
|
|
|
|
|
for log in pzl.logs[:10]:
|
|
|
|
|
body.append("* `{}`".format(log))
|
|
|
|
|
body.extend(["", "### Logs Tail"])
|
|
|
|
|
for log in pzl.logs[-10:]:
|
|
|
|
|
body.append("* `{}`".format(log))
|
2016-10-18 20:11:20 -06:00
|
|
|
self.serve_md('\n'.join(body))
|
|
|
|
|
return
|
|
|
|
|
elif len(parts) == 5:
|
2016-10-19 15:02:38 -06:00
|
|
|
if parts[4] == '_logs':
|
|
|
|
|
self.serve_puzzle_logs(pzl.logs)
|
|
|
|
|
else:
|
|
|
|
|
try:
|
|
|
|
|
self.serve_puzzle_file(pzl['files'][parts[4]])
|
|
|
|
|
except KeyError:
|
|
|
|
|
self.send_error(HTTPStatus.NOT_FOUND, "File not found")
|
|
|
|
|
return
|
2016-10-15 21:47:50 -06:00
|
|
|
else:
|
|
|
|
|
body.append("# Not Implemented Yet")
|
2016-10-18 20:11:20 -06:00
|
|
|
self.serve_md('\n'.join(body))
|
|
|
|
|
|
2016-10-19 15:02:38 -06:00
|
|
|
def serve_puzzle_logs(self, logs):
|
|
|
|
|
"""Serve a PuzzleFile object."""
|
|
|
|
|
self.send_response(HTTPStatus.OK)
|
|
|
|
|
self.send_header("Content-type", "text/plain; charset=utf-8")
|
|
|
|
|
self.end_headers()
|
|
|
|
|
for log in logs:
|
|
|
|
|
self.wfile.write(log.encode('ascii'))
|
|
|
|
|
self.wfile.write(b"\n")
|
|
|
|
|
|
2016-10-18 20:11:20 -06:00
|
|
|
CHUNK_SIZE = 4096
|
|
|
|
|
def serve_puzzle_file(self, file):
|
|
|
|
|
"""Serve a PuzzleFile object."""
|
|
|
|
|
self.send_response(HTTPStatus.OK)
|
|
|
|
|
self.send_header("Content-type", "application/octet-stream")
|
|
|
|
|
self.send_header('Content-Disposition', 'attachment; filename="{}"'.format(file.name))
|
|
|
|
|
if file.path is not None:
|
|
|
|
|
fs = os.stat(file.path)
|
|
|
|
|
self.send_header("Last-Modified", self.date_time_string(fs.st_mtime))
|
|
|
|
|
|
|
|
|
|
# We're using application/octet stream, so we can send the raw bytes.
|
|
|
|
|
self.end_headers()
|
|
|
|
|
chunk = file.handle.read(self.CHUNK_SIZE)
|
|
|
|
|
while chunk:
|
|
|
|
|
self.wfile.write(chunk)
|
|
|
|
|
chunk = file.handle.read(self.CHUNK_SIZE)
|
2016-10-15 21:47:50 -06:00
|
|
|
|
2016-10-14 22:26:47 -06:00
|
|
|
def serve_file(self):
|
|
|
|
|
if self.path.endswith(".md"):
|
|
|
|
|
self.serve_md()
|
|
|
|
|
else:
|
|
|
|
|
super().do_GET()
|
2016-10-17 20:28:24 -06:00
|
|
|
|
2016-10-14 22:26:47 -06:00
|
|
|
def serve_md(self, text=None):
|
|
|
|
|
fspathstr = self.translate_path(self.path)
|
|
|
|
|
fspath = pathlib.Path(fspathstr)
|
|
|
|
|
if not text:
|
|
|
|
|
try:
|
|
|
|
|
text = fspath.read_text()
|
|
|
|
|
except OSError:
|
|
|
|
|
self.send_error(HTTPStatus.NOT_FOUND, "File not found")
|
|
|
|
|
return None
|
|
|
|
|
content = mdpage(text)
|
|
|
|
|
|
2016-10-17 15:37:11 -06:00
|
|
|
self.send_response(HTTPStatus.OK)
|
2016-10-17 16:21:55 -06:00
|
|
|
|
2016-10-17 16:10:41 -06:00
|
|
|
self.send_header("Content-type", "text/html; charset=utf-8")
|
2016-10-14 22:26:47 -06:00
|
|
|
self.send_header("Content-Length", len(content))
|
|
|
|
|
try:
|
|
|
|
|
fs = fspath.stat()
|
|
|
|
|
self.send_header("Last-Modified", self.date_time_string(fs.st_mtime))
|
|
|
|
|
except:
|
|
|
|
|
pass
|
|
|
|
|
self.end_headers()
|
|
|
|
|
self.wfile.write(content.encode('utf-8'))
|
|
|
|
|
|
2016-10-17 19:58:51 -06:00
|
|
|
|
2016-10-17 23:20:48 -06:00
|
|
|
def run(address=('localhost', 8080)):
|
2016-10-14 22:26:47 -06:00
|
|
|
httpd = ThreadingServer(address, MothHandler)
|
2016-10-17 23:20:48 -06:00
|
|
|
print("=== Listening on http://{}:{}/".format(address[0], address[1]))
|
2016-10-14 22:26:47 -06:00
|
|
|
httpd.serve_forever()
|
|
|
|
|
|
|
|
|
|
if __name__ == '__main__':
|
|
|
|
|
run()
|
