diff options
| author | Magnus Hagander | 2011-12-04 14:01:43 +0000 |
|---|---|---|
| committer | Magnus Hagander | 2011-12-04 14:01:43 +0000 |
| commit | 585a0e2efef05be5f45cb5c94feab28c97c6ab32 (patch) | |
| tree | f6c3741dca01dba360643ec2767b1f049a48fbea /tools/docs/docload.py | |
| parent | f07c0db120e1995a4dfb70b9b19d77f7eea057c0 (diff) | |
Purge the correct URL when loading developer docs
They're /docs/devel/, not /docs/0/ - that's just used to cheat the
version system being a decimal field...
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() |