diff options
Diffstat (limited to 'tools/docs/docload.py')
| -rwxr-xr-x | tools/docs/docload.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/docs/docload.py b/tools/docs/docload.py index 65e4719e..bf663a48 100755 --- a/tools/docs/docload.py +++ b/tools/docs/docload.py @@ -105,6 +105,10 @@ for member in tf: tf.close() # Issue varnish purge for all docs of this version +if ver == "0": + # Special handling of developer docs... + ver = "devel" + curs.execute("SELECT varnish_purge('^/docs/' || %(v)s || '/')", {'v': ver}) transaction.commit_unless_managed() |