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}")