Purge newly loaded docs from varnish automatically

diff --git a/tools/docs/docload.py b/tools/docs/docload.py
index 460dec6f860a600dfaec049b348c7cf992aa15cc..11682fae6e5d98608ece403691a2ece1c1684cd3 100755 (executable)
--- a/tools/docs/docload.py
+++ b/tools/docs/docload.py
@@ -100,6 +100,9 @@ for member in tf:
                                load_doc_file(inner_member.name, inner_tar.extractfile(inner_member))
 tf.close()
 
+# Issue varnish purge for all docs of this version
+curs.execute("SELECT varnish_purge('^/docs/' || %(v)s || '/')", {'v': ver})
+
 transaction.commit_unless_managed()
 
 if not quiet: print "Done (%i pages)." % pagecount