Close db connection in docloader

To make Stefan happy...

diff --git a/tools/docs/docload.py b/tools/docs/docload.py
index 6946a7500bdea08518921a116ca5bc22b4a07d05..c88df7eb3897f685923b8bdaa05e88e56751b8b3 100755 (executable)
--- 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