/
server.py
51 lines (44 loc) · 1.2 KB
/
server.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
import web
import json
import os
from sketch import Sketch
urls = (
"/", "redirect /default",
"/([^/]*)", "index",
"/([^/]*)/render", "render",
)
app = web.application(urls, globals())
def jsonify(d):
web.header("Content-type", "application/json")
return json.dumps(d)
def read_file(name):
filename = f"files/{name}.py"
if os.path.exists(filename):
return open(filename).read()
else:
return ""
def write_file(name, code):
filename = f"files/{name}.py"
print("writing", filename)
with open(filename, "w") as f:
f.write(code)
class index:
def GET(self, name):
web.header("content-type", "text/html")
code = web.websafe(read_file(name))
html = open("index.html").read()
return html.replace("<!--CODE-->", code)
class render:
def POST(self, name):
code = web.data().decode('utf-8')
write_file(name, code)
try:
s = Sketch()
s.render(code)
return s.tostring()
except Exception as e:
web.ctx.status = "403 Bad Input"
web.header("content-type", "text/plain")
return str(e)
if __name__ == "__main__":
app.run()