ahamilton/eris
1
0
Fork 0
Code Releases Activity

webserver: Results look better without the border.

Browse source
This commit is contained in:
Andrew Hamilton 2021-11-16 23:30:57 +10:00
parent 64b3221daa
commit b3ac69e0aa
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
eris/eris/webserver.py
View file

@ -40,8 +40,7 @@ class Webserver(http.server.BaseHTTPRequestHandler):
elif "/" in self.path[1:]: elif "/" in self.path[1:]:
path, tool = os.path.split(self.path[1:]) path, tool = os.path.split(self.path[1:])
result = index[(path, tool)] result = index[(path, tool)]
body = fill3.appearance_as_html( body = fill3.appearance_as_html(result.appearance_min())
fill3.Border(result).appearance_min())
page = make_page(body, f"{tool} of {path}") page = make_page(body, f"{tool} of {path}")
else: else:
return return