From 7b21d12f65f0472ad9e3b0b580a50265b2055c97 Mon Sep 17 00:00:00 2001
From: Ciaran Gultnieks <ciaran@ciarang.com>
Date: Thu, 10 Oct 2013 09:47:48 +0100
Subject: [PATCH] Purge repo maintenance page cache after updates

---
 fdroidserver/update.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/fdroidserver/update.py b/fdroidserver/update.py
index e124b76a..f95f6f2d 100644
--- a/fdroidserver/update.py
+++ b/fdroidserver/update.py
@@ -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.