From e99454868a4a1787470cc7d6b23e0e1863847622 Mon Sep 17 00:00:00 2001 From: Ciaran Gultnieks Date: Mon, 1 Aug 2016 12:25:22 +0100 Subject: [PATCH 1/1] Catch another case of invalid wiki page names --- fdroidserver/update.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/fdroidserver/update.py b/fdroidserver/update.py index e4d2ff3c..9c7bcbad 100644 --- a/fdroidserver/update.py +++ b/fdroidserver/update.py @@ -238,6 +238,8 @@ def update_wiki(apps, sortedids, apks): apppagename = apppagename.replace('{', '') apppagename = apppagename.replace('}', ' ') apppagename = apppagename.replace(':', ' ') + apppagename = apppagename.replace('[', ' ') + apppagename = apppagename.replace(']', ' ') # Drop double spaces caused mostly by replacing ':' above apppagename = apppagename.replace(' ', ' ') for expagename in site.allpages(prefix=apppagename, -- 2.30.2