diff options
| author | Magnus Hagander | 2021-05-18 07:39:23 +0000 |
|---|---|---|
| committer | Magnus Hagander | 2021-05-18 07:54:18 +0000 |
| commit | 2f969bff76b4cdd14bb4e6059f32daa5519b961b (patch) | |
| tree | 50eb0a0c84f958a8cbb858a0bb65f412798c6031 /tools | |
| parent | f15ffc84b0fc5e954426441581fd01052c07aa96 (diff) | |
Make documentation purges use xkey
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/docs/docload.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/docs/docload.py b/tools/docs/docload.py index 49e323a9..427a9345 100755 --- a/tools/docs/docload.py +++ b/tools/docs/docload.py @@ -227,9 +227,10 @@ if numchanges > 0: # Special handling of developer docs... ver = "devel" - curs.execute("SELECT varnish_purge('^/docs/' || %(v)s || '/')", {'v': ver}) + curs.execute("SELECT varnish_purge_xkey('pgdocs_{}')".format(ver)) + curs.execute("SELECT varnish_purge_xkey('pgdocs_all')") if iscurrent: - curs.execute("SELECT varnish_purge('^/docs/current/')") + curs.execute("SELECT varnish_purge_xkey('pgdocs_current')") # ensure the changes are committed, and close the connection connection.commit() |