diff options
| author | gbrandl <gbrandl@929543f6-e4f2-0310-98a6-ba3bd3dd1d04> | 2007-07-07 08:20:16 +0000 |
|---|---|---|
| committer | gbrandl <gbrandl@929543f6-e4f2-0310-98a6-ba3bd3dd1d04> | 2007-07-07 08:20:16 +0000 |
| commit | 3ddfd230e3c90c7f79426dc91aacd64efb230856 (patch) | |
| tree | f01b39486274f713a8890291b10ca68ed52c85ab /sandbox/py-rest-doc/sphinx/builder.py | |
| parent | ef8d4115a98e15bccba0644d08a03412bfd98ff9 (diff) | |
| download | docutils-3ddfd230e3c90c7f79426dc91aacd64efb230856.tar.gz | |
Implement environment reloading in the web application.
git-svn-id: http://svn.code.sf.net/p/docutils/code/trunk@5320 929543f6-e4f2-0310-98a6-ba3bd3dd1d04
Diffstat (limited to 'sandbox/py-rest-doc/sphinx/builder.py')
| -rw-r--r-- | sandbox/py-rest-doc/sphinx/builder.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sandbox/py-rest-doc/sphinx/builder.py b/sandbox/py-rest-doc/sphinx/builder.py index bf5e9933a..3ba8897eb 100644 --- a/sandbox/py-rest-doc/sphinx/builder.py +++ b/sandbox/py-rest-doc/sphinx/builder.py @@ -38,6 +38,7 @@ from . import roles from . import directives ENV_PICKLE_FILENAME = 'environment.pickle' +LAST_BUILD_FILENAME = 'last_build' # Helper objects @@ -533,6 +534,9 @@ class WebHTMLBuilder(StandaloneHTMLBuilder): f = open(path.join(self.outdir, 'searchindex.pickle'), 'w') self.indexer.dump(f, 'pickle') f.close() + # touch 'last build' file, used by the web application to determine + # when to reload its environment and clear the cache + open(path.join(self.outdir, LAST_BUILD_FILENAME), 'w').close() builders = { |