From 96b148d4501a8c92c03fadb639708c5c20e3f8d8 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Thu, 25 Nov 2021 23:26:04 +1000 Subject: [PATCH] webserver: Coding style. - Remove unnecessary function. - More import tidying. --- eris/eris/webserver.py | 24 ++++++++++-------------- 1 file changed, 10 insertions(+), 14 deletions(-) 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)