From b5734c93fe723e5608468da5a2c5fbaafc93781d Mon Sep 17 00:00:00 2001 From: Neale Pickett Date: Mon, 29 Jul 2019 20:40:53 +0000 Subject: [PATCH] Maybe disambiguate root path in dev server --- devel/devel-server.py | 1 + 1 file changed, 1 insertion(+) diff --git a/devel/devel-server.py b/devel/devel-server.py index 6a8e6d6..61d3d41 100755 --- a/devel/devel-server.py +++ b/devel/devel-server.py @@ -187,6 +187,7 @@ sessionStorage.setItem("id", "devel-server") self.end_headers() self.wfile.write(body.encode('utf-8')) endpoints.append((r"/", handle_index)) + endpoints.append((r"/{ignored}", handle_index)) def handle_theme_file(self):