2017-10-30 11:25:58 -06:00
|
|
|
#!/usr/bin/python3
|
2016-10-14 22:26:47 -06:00
|
|
|
|
2018-05-11 15:45:40 -06:00
|
|
|
import asyncio
|
2018-09-28 12:15:38 -06:00
|
|
|
import cgitb
|
2016-10-22 10:35:55 -06:00
|
|
|
import html
|
2019-02-26 16:27:20 -07:00
|
|
|
import cgi
|
|
|
|
import http.server
|
2016-10-22 10:35:55 -06:00
|
|
|
import io
|
2018-10-02 19:21:54 -06:00
|
|
|
import json
|
2018-05-11 15:45:40 -06:00
|
|
|
import mimetypes
|
2016-10-20 11:32:21 -06:00
|
|
|
import moth
|
2018-05-11 15:45:40 -06:00
|
|
|
import logging
|
2016-10-16 19:52:09 -06:00
|
|
|
import os
|
2016-10-14 22:26:47 -06:00
|
|
|
import pathlib
|
2018-05-11 15:45:40 -06:00
|
|
|
import random
|
2016-10-22 10:35:55 -06:00
|
|
|
import shutil
|
2016-10-18 09:34:06 -06:00
|
|
|
import sys
|
|
|
|
import traceback
|
2018-09-28 12:15:38 -06:00
|
|
|
import mothballer
|
2019-02-26 16:27:20 -07:00
|
|
|
import parse
|
2019-04-10 20:33:18 -06:00
|
|
|
import urllib.parse
|
|
|
|
import posixpath
|
2019-02-26 16:27:20 -07:00
|
|
|
from http import HTTPStatus
|
|
|
|
|
2016-10-14 22:26:47 -06:00
|
|
|
|
2018-05-11 15:45:40 -06:00
|
|
|
sys.dont_write_bytecode = True # Don't write .pyc files
|
2018-10-10 09:26:44 -06:00
|
|
|
|
2019-04-10 20:33:18 -06:00
|
|
|
try:
|
|
|
|
ThreadingHTTPServer = http.server.ThreadingHTTPServer
|
|
|
|
except AttributeError:
|
|
|
|
import socketserver
|
|
|
|
class ThreadingHTTPServer(socketserver.ThreadingMixIn, http.server.HTTPServer):
|
|
|
|
daemon_threads = True
|
2018-10-10 09:26:44 -06:00
|
|
|
|
2019-04-10 20:33:18 -06:00
|
|
|
class MothServer(ThreadingHTTPServer):
|
2019-02-26 16:27:20 -07:00
|
|
|
def __init__(self, server_address, RequestHandlerClass):
|
|
|
|
super().__init__(server_address, RequestHandlerClass)
|
|
|
|
self.args = {}
|
|
|
|
|
|
|
|
|
|
|
|
class MothRequestHandler(http.server.SimpleHTTPRequestHandler):
|
|
|
|
endpoints = []
|
2019-02-23 12:04:42 -07:00
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
def __init__(self, request, client_address, server):
|
2019-04-10 20:33:18 -06:00
|
|
|
self.directory = str(server.args["theme_dir"])
|
2019-04-29 13:31:16 -06:00
|
|
|
try:
|
|
|
|
super().__init__(request, client_address, server, directory=server.args["theme_dir"])
|
|
|
|
except TypeError:
|
|
|
|
super().__init__(request, client_address, server)
|
|
|
|
|
2019-04-10 20:33:18 -06:00
|
|
|
|
|
|
|
# Backport from Python 3.7
|
|
|
|
def translate_path(self, path):
|
2019-04-10 20:41:13 -06:00
|
|
|
# I guess we just hope that some other thread doesn't call getcwd
|
|
|
|
getcwd = os.getcwd
|
|
|
|
os.getcwd = lambda: self.directory
|
|
|
|
ret = super().translate_path(path)
|
|
|
|
os.getcwd = getcwd
|
|
|
|
return ret
|
2019-02-26 16:27:20 -07:00
|
|
|
|
|
|
|
|
|
|
|
def get_puzzle(self):
|
|
|
|
category = self.req.get("cat")
|
|
|
|
points = int(self.req.get("points"))
|
2019-04-10 20:33:18 -06:00
|
|
|
catpath = str(self.server.args["puzzles_dir"].joinpath(category))
|
|
|
|
cat = moth.Category(catpath, self.seed)
|
2019-02-26 16:27:20 -07:00
|
|
|
puzzle = cat.puzzle(points)
|
|
|
|
return puzzle
|
|
|
|
|
|
|
|
|
|
|
|
def handle_answer(self):
|
|
|
|
for f in ("cat", "points", "answer"):
|
|
|
|
self.req[f] = self.fields.getfirst(f)
|
|
|
|
puzzle = self.get_puzzle()
|
|
|
|
ret = {
|
|
|
|
"status": "success",
|
|
|
|
"data": {
|
|
|
|
"short": "",
|
|
|
|
"description": "Provided answer was not in list of answers"
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
|
|
|
if self.req.get("answer") in puzzle.answers:
|
|
|
|
ret["data"]["description"] = "Answer is correct"
|
|
|
|
self.send_response(200)
|
|
|
|
self.send_header("Content-Type", "application/json")
|
|
|
|
self.end_headers()
|
|
|
|
self.wfile.write(json.dumps(ret).encode("utf-8"))
|
|
|
|
endpoints.append(('/{seed}/answer', handle_answer))
|
2018-05-11 15:45:40 -06:00
|
|
|
|
2018-10-02 19:21:54 -06:00
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
def handle_puzzlelist(self):
|
|
|
|
puzzles = {
|
|
|
|
"__devel__": [[0, ""]],
|
|
|
|
}
|
|
|
|
for p in self.server.args["puzzles_dir"].glob("*"):
|
|
|
|
if not p.is_dir() or p.match(".*"):
|
|
|
|
continue
|
|
|
|
catName = p.parts[-1]
|
2019-04-10 20:33:18 -06:00
|
|
|
cat = moth.Category(str(p), self.seed)
|
2019-02-26 16:27:20 -07:00
|
|
|
puzzles[catName] = [[i, str(i)] for i in cat.pointvals()]
|
|
|
|
puzzles[catName].append([0, ""])
|
|
|
|
if len(puzzles) <= 1:
|
|
|
|
logging.warning("No directories found matching {}/*".format(self.server.args["puzzles_dir"]))
|
|
|
|
self.send_response(200)
|
|
|
|
self.send_header("Content-Type", "application/json")
|
|
|
|
self.end_headers()
|
|
|
|
self.wfile.write(json.dumps(puzzles).encode("utf-8"))
|
|
|
|
endpoints.append(('/{seed}/puzzles.json', handle_puzzlelist))
|
2018-10-02 19:21:54 -06:00
|
|
|
|
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
def handle_puzzle(self):
|
|
|
|
puzzle = self.get_puzzle()
|
|
|
|
|
|
|
|
obj = puzzle.package()
|
|
|
|
obj["answers"] = puzzle.answers
|
|
|
|
obj["hint"] = puzzle.hint
|
|
|
|
obj["summary"] = puzzle.summary
|
|
|
|
obj["logs"] = puzzle.logs
|
|
|
|
|
|
|
|
self.send_response(200)
|
|
|
|
self.send_header("Content-Type", "application/json")
|
|
|
|
self.end_headers()
|
|
|
|
self.wfile.write(json.dumps(obj).encode("utf-8"))
|
|
|
|
endpoints.append(('/{seed}/content/{cat}/{points}/puzzle.json', handle_puzzle))
|
2018-05-11 15:45:40 -06:00
|
|
|
|
2018-10-02 19:21:54 -06:00
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
def handle_puzzlefile(self):
|
|
|
|
puzzle = self.get_puzzle()
|
|
|
|
|
|
|
|
try:
|
|
|
|
file = puzzle.files[self.req["filename"]]
|
|
|
|
except KeyError:
|
2019-02-27 16:15:45 -07:00
|
|
|
self.send_error(
|
|
|
|
HTTPStatus.NOT_FOUND,
|
|
|
|
"File Not Found",
|
|
|
|
)
|
|
|
|
return
|
2019-02-26 16:27:20 -07:00
|
|
|
|
|
|
|
self.send_response(200)
|
|
|
|
self.send_header("Content-Type", mimetypes.guess_type(file.name))
|
|
|
|
self.end_headers()
|
|
|
|
shutil.copyfileobj(file.stream, self.wfile)
|
|
|
|
endpoints.append(("/{seed}/content/{cat}/{points}/{filename}", handle_puzzlefile))
|
2018-09-28 12:15:38 -06:00
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
|
|
|
|
def handle_mothballer(self):
|
|
|
|
category = self.req.get("cat")
|
2019-02-27 16:15:45 -07:00
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
try:
|
|
|
|
catdir = self.server.args["puzzles_dir"].joinpath(category)
|
|
|
|
mb = mothballer.package(category, catdir, self.seed)
|
2019-06-12 11:59:33 -06:00
|
|
|
except Exception as ex:
|
2019-06-12 12:20:30 -06:00
|
|
|
logging.exception(ex)
|
2019-02-27 16:15:45 -07:00
|
|
|
self.send_response(200)
|
|
|
|
self.send_header("Content-Type", "text/html; charset=\"utf-8\"")
|
|
|
|
self.end_headers()
|
|
|
|
self.wfile.write(cgitb.html(sys.exc_info()))
|
|
|
|
return
|
|
|
|
|
|
|
|
self.send_response(200)
|
|
|
|
self.send_header("Content-Type", "application/octet_stream")
|
|
|
|
self.end_headers()
|
|
|
|
shutil.copyfileobj(mb, self.wfile)
|
|
|
|
endpoints.append(("/{seed}/mothballer/{cat}.mb", handle_mothballer))
|
2016-10-14 22:26:47 -06:00
|
|
|
|
2018-10-02 19:21:54 -06:00
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
def handle_index(self):
|
2019-02-26 16:52:23 -07:00
|
|
|
seed = random.getrandbits(32)
|
2019-02-26 16:27:20 -07:00
|
|
|
body = """<!DOCTYPE html>
|
2018-10-02 19:21:54 -06:00
|
|
|
<html>
|
2019-02-22 19:09:38 -07:00
|
|
|
<head>
|
|
|
|
<title>Dev Server</title>
|
|
|
|
<script>
|
|
|
|
// Skip trying to log in
|
2019-02-23 12:04:42 -07:00
|
|
|
sessionStorage.setItem("id", "devel-server")
|
2019-02-22 19:09:38 -07:00
|
|
|
</script>
|
|
|
|
</head>
|
2018-10-02 19:21:54 -06:00
|
|
|
<body>
|
|
|
|
<h1>Dev Server</h1>
|
2019-02-22 19:09:38 -07:00
|
|
|
|
2018-10-02 19:21:54 -06:00
|
|
|
<p>
|
2019-02-22 19:09:38 -07:00
|
|
|
Pick a seed:
|
2018-10-10 09:26:44 -06:00
|
|
|
</p>
|
2019-02-22 19:09:38 -07:00
|
|
|
<ul>
|
|
|
|
<li><a href="{seed}/">{seed}</a>: a special seed I made just for you!</li>
|
|
|
|
<li><a href="random/">random</a>: will use a different seed every time you load a page (could be useful for debugging)</li>
|
|
|
|
<li>You can also hack your own seed into the URL, if you want to.</li>
|
|
|
|
</ul>
|
|
|
|
|
2018-10-10 09:26:44 -06:00
|
|
|
<p>
|
2019-02-22 19:09:38 -07:00
|
|
|
Puzzles can be generated from Python code: these puzzles can use a random number generator if they want.
|
|
|
|
The seed is used to create these random numbers.
|
|
|
|
</p>
|
|
|
|
|
|
|
|
<p>
|
|
|
|
We like to make a new seed for every contest,
|
|
|
|
and re-use that seed whenever we regenerate a category during an event
|
|
|
|
(say to fix a bug).
|
|
|
|
By using the same seed,
|
|
|
|
we make sure that all the dynamically-generated puzzles have the same values
|
|
|
|
in any new packages we build.
|
2018-10-10 09:26:44 -06:00
|
|
|
</p>
|
2018-10-02 19:21:54 -06:00
|
|
|
</body>
|
|
|
|
</html>
|
|
|
|
""".format(seed=seed)
|
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
self.send_response(200)
|
|
|
|
self.send_header("Content-Type", "text/html; charset=utf-8")
|
|
|
|
self.end_headers()
|
|
|
|
self.wfile.write(body.encode('utf-8'))
|
|
|
|
endpoints.append((r"/", handle_index))
|
2018-10-02 19:21:54 -06:00
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
|
|
|
|
def handle_theme_file(self):
|
|
|
|
self.path = "/" + self.req.get("path", "")
|
|
|
|
super().do_GET()
|
|
|
|
endpoints.append(("/{seed}/", handle_theme_file))
|
|
|
|
endpoints.append(("/{seed}/{path}", handle_theme_file))
|
|
|
|
|
|
|
|
|
|
|
|
def do_GET(self):
|
|
|
|
self.fields = cgi.FieldStorage(
|
|
|
|
fp=self.rfile,
|
|
|
|
headers=self.headers,
|
|
|
|
environ={
|
|
|
|
"REQUEST_METHOD": self.command,
|
|
|
|
"CONTENT_TYPE": self.headers["Content-Type"],
|
|
|
|
},
|
|
|
|
)
|
|
|
|
|
|
|
|
for pattern, function in self.endpoints:
|
|
|
|
result = parse.parse(pattern, self.path)
|
|
|
|
if result:
|
|
|
|
self.req = result.named
|
|
|
|
seed = self.req.get("seed", "random")
|
|
|
|
if seed == "random":
|
|
|
|
self.seed = random.getrandbits(32)
|
|
|
|
else:
|
|
|
|
self.seed = int(seed)
|
|
|
|
return function(self)
|
|
|
|
super().do_GET()
|
|
|
|
|
|
|
|
def do_POST(self):
|
|
|
|
self.do_GET()
|
|
|
|
|
|
|
|
def do_HEAD(self):
|
|
|
|
self.send_error(
|
|
|
|
HTTPStatus.NOT_IMPLEMENTED,
|
|
|
|
"Unsupported method (%r)" % self.command,
|
|
|
|
)
|
2018-10-02 19:21:54 -06:00
|
|
|
|
|
|
|
|
2016-10-14 22:26:47 -06:00
|
|
|
if __name__ == '__main__':
|
2016-12-01 16:20:04 -07:00
|
|
|
import argparse
|
|
|
|
|
|
|
|
parser = argparse.ArgumentParser(description="MOTH puzzle development server")
|
2017-11-09 14:47:25 -07:00
|
|
|
parser.add_argument(
|
|
|
|
'--puzzles', default='puzzles',
|
|
|
|
help="Directory containing your puzzles"
|
|
|
|
)
|
2018-10-02 19:21:54 -06:00
|
|
|
parser.add_argument(
|
|
|
|
'--theme', default='theme',
|
|
|
|
help="Directory containing theme files")
|
2017-11-09 14:47:25 -07:00
|
|
|
parser.add_argument(
|
|
|
|
'--bind', default="127.0.0.1:8080",
|
|
|
|
help="Bind to ip:port"
|
|
|
|
)
|
|
|
|
parser.add_argument(
|
|
|
|
'--base', default="",
|
|
|
|
help="Base URL to this server, for reverse proxy setup"
|
|
|
|
)
|
2016-12-01 16:20:04 -07:00
|
|
|
args = parser.parse_args()
|
2018-05-11 15:45:40 -06:00
|
|
|
parts = args.bind.split(":")
|
|
|
|
addr = parts[0] or "0.0.0.0"
|
|
|
|
port = int(parts[1])
|
|
|
|
|
|
|
|
logging.basicConfig(level=logging.INFO)
|
|
|
|
|
2019-02-26 16:27:20 -07:00
|
|
|
server = MothServer((addr, port), MothRequestHandler)
|
|
|
|
server.args["base_url"] = args.base
|
|
|
|
server.args["puzzles_dir"] = pathlib.Path(args.puzzles)
|
|
|
|
server.args["theme_dir"] = args.theme
|
|
|
|
|
|
|
|
logging.info("Listening on %s:%d", addr, port)
|
|
|
|
server.serve_forever()
|