IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix pickle loading with Windows. Bug #1090.

Browse Source
This commit is contained in:
Georg Brandl 2007-09-03 07:12:04 +00:00
parent 80f9df9b15
commit 6da95c8ac2
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
sphinx/web/application.py
View File

@ -145,11 +145,11 @@ class DocumentationApplication(object):
# happens if another thread already reloaded the env
return
print "* Loading the environment..."
with file(path.join(self.data_root, ENV_PICKLE_FILENAME)) as f:
with file(path.join(self.data_root, ENV_PICKLE_FILENAME), 'rb') as f:
self.env = pickle.load(f)
with file(path.join(self.data_root, 'globalcontext.pickle')) as f:
with file(path.join(self.data_root, 'globalcontext.pickle'), 'rb') as f:
self.globalcontext = pickle.load(f)
with file(path.join(self.data_root, 'searchindex.pickle')) as f:
with file(path.join(self.data_root, 'searchindex.pickle'), 'rb') as f:
self.search_frontend = SearchFrontend(pickle.load(f))
self.buildmtime = new_mtime
self.cache.clear()