chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
5e6b986
)
Catch another case of invalid wiki page names
author
Ciaran Gultnieks
<ciaran@ciarang.com>
Mon, 1 Aug 2016 11:25:22 +0000
(12:25 +0100)
committer
Ciaran Gultnieks
<ciaran@ciarang.com>
Mon, 1 Aug 2016 11:25:22 +0000
(12:25 +0100)
fdroidserver/update.py
patch
|
blob
|
history
diff --git
a/fdroidserver/update.py
b/fdroidserver/update.py
index e4d2ff3c2e04e6eea956541aa33e526cfb021e5e..9c7bcbadc2c8a2f9494a13717c653377ca9c3571 100644
(file)
--- 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,