From 2e44fa42dc5464c57854b7d1b46453be11c0bfe5 Mon Sep 17 00:00:00 2001
From: Andrew Hamilton <and_hamilton@yahoo.com>
Date: Thu, 18 Nov 2021 21:35:59 +1000
Subject: [PATCH] webserver: Unquote urls containing quoted characters.

- e.g. Caused by filenames containing spaces.
---
 eris/eris/webserver.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/eris/eris/webserver.py b/eris/eris/webserver.py
index bb75443..d456d22 100755
--- a/eris/eris/webserver.py
+++ b/eris/eris/webserver.py
@@ -6,8 +6,9 @@ import functools
 import gzip
 import http.server
 import os
-import sys
 import pickle
+import sys
+import urllib.parse
 
 import eris.tools as tools
 import fill3
@@ -50,7 +51,8 @@ def make_main_body():
 
 @functools.lru_cache(maxsize=100)
 def make_listing_page(url_path):
-    path, tool = os.path.split(url_path)
+    unquoted_path = urllib.parse.unquote(url_path)
+    path, tool = os.path.split(unquoted_path)
     result = index[(path, tool)]
     body = fill3.appearance_as_html(result.appearance_min())
     return make_page(body, f"{tool} of {path}")