chiark / gitweb /
Purge repo maintenance page cache after updates
authorCiaran Gultnieks <ciaran@ciarang.com>
Thu, 10 Oct 2013 08:47:48 +0000 (09:47 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Thu, 10 Oct 2013 08:47:48 +0000 (09:47 +0100)
fdroidserver/update.py

index e124b76ac1fb5aa91a0a01759056d465ebdad104..f95f6f2d3ae63c35ba1958fcff07273a55a3ae82 100644 (file)
@@ -217,6 +217,8 @@ def update_wiki(apps, apks, verbose=False):
                 except:
                     print "...FAILED to create page"
 
+    # Purge server cache to ensure counts are up to date
+    site.pages['Repository Maintenance'].purge()
 
 def delete_disabled_builds(apps, apkcache, repodirs):
     """Delete disabled build outputs.