mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-10-06 17:31:07 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Catch another case of invalid wiki page names

Browse source
This commit is contained in:
Ciaran Gultnieks 2016-08-01 12:25:22 +01:00
parent 5e6b986c40
commit e99454868a
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/update.py
View 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(':', ' ') apppagename = apppagename.replace(':', ' ')
apppagename = apppagename.replace('[', ' ')
apppagename = apppagename.replace(']', ' ')
# Drop double spaces caused mostly by replacing ':' above # Drop double spaces caused mostly by replacing ':' above
apppagename = apppagename.replace(' ', ' ') apppagename = apppagename.replace(' ', ' ')
for expagename in site.allpages(prefix=apppagename, for expagename in site.allpages(prefix=apppagename,