diff --git a/eris/eris/webserver.py b/eris/eris/webserver.py index 3ba7b60..291137c 100755 --- a/eris/eris/webserver.py +++ b/eris/eris/webserver.py @@ -10,10 +10,10 @@ import pickle import sys import urllib.parse +import fill3 import termstr import eris.tools as tools -import fill3 USAGE = """Usage: @@ -40,18 +40,6 @@ def make_page(body_html, title): return gzip.compress(text.encode("utf-8")) -def make_main_body(): - return """ - - - - - -
- -
""" - - @functools.lru_cache(maxsize=100) def make_listing_page(url_path): unquoted_path = urllib.parse.unquote(url_path) @@ -88,7 +76,15 @@ class Webserver(http.server.BaseHTTPRequestHandler): def make_main_page(project_name): - body_html = make_main_body() + body_html = """ + + + + + +
+ +
""" return make_page(body_html, "Summary of " + project_name)