From c98f3260a925aedf7c0750620f0231aaa7874d79 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Tue, 16 Nov 2021 11:00:42 +1000 Subject: [PATCH] webserver: Allow running without root permission. - Change default port to 8080. - Port 80 needs root permission to open. --- eris/eris/webserver.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eris/eris/webserver.py b/eris/eris/webserver.py index 43de0a4..978cc71 100755 --- a/eris/eris/webserver.py +++ b/eris/eris/webserver.py @@ -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…")