diff options
Diffstat (limited to 'tools/docs/docload.py')
| -rwxr-xr-x | tools/docs/docload.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/docs/docload.py b/tools/docs/docload.py index 6946a750..c88df7eb 100755 --- a/tools/docs/docload.py +++ b/tools/docs/docload.py @@ -115,6 +115,7 @@ if ver == "0": curs.execute("SELECT varnish_purge('^/docs/' || %(v)s || '/')", {'v': ver}) transaction.commit_unless_managed() +connection.close() if not quiet: print "Done (%i pages)." % pagecount |