webserver: Allow running without root permission.

- Change default port to 8080.
- Port 80 needs root permission to open.
This commit is contained in:
Andrew Hamilton 2021-11-16 11:00:42 +10:00
parent 9ecc65bd12
commit c98f3260a9

View file

@ -61,7 +61,7 @@ def make_summary_page(project_name, summary):
return make_page(body_html, "Summary of " + project_name)
def run(server_class=http.server.HTTPServer, handler_class=Webserver, port=80):
def run(server_class=http.server.HTTPServer, handler_class=Webserver, port=8080):
server_address = ("", port)
httpd = server_class(server_address, handler_class)
print("Starting httpd…")