VladPolskiy/postgres-web
1
0
Fork 0
mirror of https://github.com/postgres/pgweb.git synced 2025-08-06 09:57:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Purge the correct URL when loading developer docs

Browse Source 
They're /docs/devel/, not /docs/0/ - that's just used to cheat the
version system  being a decimal field...
This commit is contained in:
Magnus Hagander
2011-12-04 15:01:43 +01:00
parent f07c0db120
commit 585a0e2efe
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/docs/docload.py
View File

@ -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()