Include docs load timestamp in developer docs

This makes it possible to figure out when the docs were actually
loaded, since developer docs don't carry a version number. This is
actually going to be the docs *load* timestamp, and not build timestamp,
but they should be close enough together that it shouldn't matter.

Fixes #108

1 files changed, 3 insertions, 0 deletions

diff --git a/tools/docs/docload.py b/tools/docs/docload.py
index bf663a48..6946a750 100755
--- a/tools/docs/docload.py
+++ b/tools/docs/docload.py
@@ -104,6 +104,9 @@ for member in tf:
 				load_doc_file(inner_member.name, inner_tar.extractfile(inner_member))
 tf.close()
 
+# Update the docs loaded timestamp
+curs.execute("UPDATE core_version SET docsloaded=CURRENT_TIMESTAMP WHERE tree=%(v)s", {'v': ver})
+
 # Issue varnish purge for all docs of this version
 if ver == "0":
 	# Special handling of developer docs...