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

Always close .buildinfo file after reading.

Browse Source
This commit is contained in:
Georg Brandl 2011-09-22 14:28:31 +02:00
parent 3d4b8830a0
commit f250397f77
1 changed files with 13 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
sphinx/builders/html.py
View File

@ -159,17 +159,19 @@ class StandaloneHTMLBuilder(Builder):
old_config_hash = old_tags_hash = '' old_config_hash = old_tags_hash = ''
try: try:
fp = open(path.join(self.outdir, '.buildinfo')) fp = open(path.join(self.outdir, '.buildinfo'))
version = fp.readline() try:
if version.rstrip() != '# Sphinx build info version 1': version = fp.readline()
raise ValueError if version.rstrip() != '# Sphinx build info version 1':
fp.readline() # skip commentary raise ValueError
cfg, old_config_hash = fp.readline().strip().split(': ') fp.readline() # skip commentary
if cfg != 'config': cfg, old_config_hash = fp.readline().strip().split(': ')
raise ValueError if cfg != 'config':
tag, old_tags_hash = fp.readline().strip().split(': ') raise ValueError
if tag != 'tags': tag, old_tags_hash = fp.readline().strip().split(': ')
raise ValueError if tag != 'tags':
fp.close() raise ValueError
finally:
fp.close()
except ValueError: except ValueError:
self.warn('unsupported build info format in %r, building all' % self.warn('unsupported build info format in %r, building all' %
path.join(self.outdir, '.buildinfo')) path.join(self.outdir, '.buildinfo'))