chiark / gitweb /
Catch another case of invalid wiki page names
authorCiaran Gultnieks <ciaran@ciarang.com>
Mon, 1 Aug 2016 11:25:22 +0000 (12:25 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 1 Aug 2016 11:25:22 +0000 (12:25 +0100)
fdroidserver/update.py

index e4d2ff3c2e04e6eea956541aa33e526cfb021e5e..9c7bcbadc2c8a2f9494a13717c653377ca9c3571 100644 (file)
@@ -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,