chiark / gitweb /
Don't stall update for 'bad' wiki page names
authorCiaran Gultnieks <ciaran@ciarang.com>
Sat, 1 Dec 2012 07:17:59 +0000 (07:17 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Sat, 1 Dec 2012 07:17:59 +0000 (07:17 +0000)
fdroidserver/update.py

index 3d9e616221a38a725c3745368dc16823c229b3eb..81e43c5bd6ce77d9b62b91832e95f3665b6f10df 100644 (file)
@@ -168,8 +168,11 @@ def update_wiki(apps, apks, verbose=False):
             print "Checking " + pagename
         if not pagename in existingpages:
             print "Creating page " + pagename
-            newpage = site.Pages[pagename]
-            newpage.save(text, summary='Auto-created')
+            try:
+                newpage = site.Pages[pagename]
+                newpage.save(text, summary='Auto-created')
+            except:
+                print "...FAILED to create page"