diff options
| author | Daniel Neuhäuser <ich@danielneuhaeuser.de> | 2010-08-14 11:22:40 +0200 |
|---|---|---|
| committer | Daniel Neuhäuser <ich@danielneuhaeuser.de> | 2010-08-14 11:22:40 +0200 |
| commit | 7e7134e029dbf1ba88cdc3cb4aade11a84fdd783 (patch) | |
| tree | 16f715706157eea20c7e7547bebe5ea941329cee /sphinx/builders/websupport.py | |
| parent | 1f0b25be796c8d62a3607d4e6498b43ed1cf8481 (diff) | |
| download | sphinx-git-7e7134e029dbf1ba88cdc3cb4aade11a84fdd783.tar.gz | |
Use the highest protocol to pickle doctrees and use the constants provided by the pickle module
Diffstat (limited to 'sphinx/builders/websupport.py')
| -rw-r--r-- | sphinx/builders/websupport.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/builders/websupport.py b/sphinx/builders/websupport.py index 0c92c646d..e43c46dee 100644 --- a/sphinx/builders/websupport.py +++ b/sphinx/builders/websupport.py @@ -137,7 +137,7 @@ class WebSupportBuilder(StandaloneHTMLBuilder): ensuredir(path.dirname(outfilename)) f = open(outfilename, 'wb') try: - pickle.dump(doc_ctx, f, 2) + pickle.dump(doc_ctx, f, pickle.HIGHEST_PROTOCOL) finally: f.close() |