From 813f5621bec2e9ca79283228292a045204d2fdfd Mon Sep 17 00:00:00 2001
From: Ville Rantanen <q@moonq.org>
Date: Mon, 27 Apr 2020 17:05:45 +0300
Subject: [PATCH] add a list of files for wget etc

---
 web/SimpleWebPage.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/SimpleWebPage.py b/web/SimpleWebPage.py
index 8517d7e..829f51a 100755
--- a/web/SimpleWebPage.py
+++ b/web/SimpleWebPage.py
@@ -160,7 +160,7 @@ def get_filelink(path,fname,images=False):
 def get_wget_lines(files):
     wget = "\n<!--\n"
     for f in files:
-        wget += "#FILE %s\n"%(f,)
+        wget += "#FILE %s\n"%(urllib.quote(f),)
     wget += "-->\n"
     return wget