Handle root index autoserving.

2023-09-19 23:40:12 +02:00 · 2023-09-19 23:40:12 +02:00 · 12b5e31e49
commit 12b5e31e49
parent 7cc2407846
1 changed files with 2 additions and 0 deletions
--- a/scripts/autoserve.py
+++ b/scripts/autoserve.py
@ -61,6 +61,8 @@ class Server(http.server.SimpleHTTPRequestHandler):
        self.end_headers()

        path = self.path
+        if path.strip('/') == '':
+            path = '/index.html'
        if os.path.isdir(path.strip('/')):
            path = path.strip('/') + '/index.html'
        with open(path.strip('/'), 'rb') as f: