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

Handle errors more gracefully.

Browse Source
This commit is contained in:
Georg Brandl 2008-03-25 10:20:09 +00:00
parent 10e231bf12
commit 55aacf998a
1 changed files with 11 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
sphinx/environment.py
View File

@ -360,12 +360,17 @@ class BuildEnvironment:
continue continue
# finally, check the mtime of dependencies # finally, check the mtime of dependencies
for dep in self.dependencies.get(docname, ()): for dep in self.dependencies.get(docname, ()):
deppath = path.join(self.srcdir, dep) try:
if not path.isfile(deppath): deppath = path.join(self.srcdir, dep)
changed.add(docname) if not path.isfile(deppath):
break changed.add(docname)
depmtime = path.getmtime(deppath) break
if depmtime > mtime: depmtime = path.getmtime(deppath)
if depmtime > mtime:
changed.add(docname)
break
except EnvironmentError:
# give it another chance
changed.add(docname) changed.add(docname)
break break