47b839c472
Close db connection in docloader
...
To make Stefan happy...
2012-05-18 10:53:14 -04:00
1ea8ecd12a
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
2011-12-04 15:14:54 +01:00
585a0e2efe
Purge the correct URL when loading developer docs
...
They're /docs/devel/, not /docs/0/ - that's just used to cheat the
version system being a decimal field...
2011-12-04 15:01:43 +01:00
4b4e9348c4
Ignore symlinks in docs tarballs
...
Required for postgresql <7.1
2011-11-27 16:05:30 +01:00
00d058bc98
Purge newly loaded docs from varnish automatically
2011-11-23 08:55:33 +01:00
bcce9e0aee
Add option to docload.py to make it run quietly
...
Using commandline --quiet. To do this, switch to using the standard
python optionparser for commandline parsing.
2011-11-22 21:09:12 +01:00
03e88eaec8
Make docs loader use the django database connection/configuration
...
In passing, make it check that the version being loaded actually
exists...
2011-08-16 13:00:30 +02:00
90b758c247
A first very basic import.
...
Contains basic functionality, and an import of most of the static content
from the old site.
There is still plenty more to do...
2009-09-14 14:39:25 +02:00
