Zengtudor/pybind11
1
0
Fork 0
mirror of https://github.com/pybind/pybind11.git synced 2024-11-25 14:45:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Delete partially-written file in the event of an error.

Browse Source
This commit is contained in:
Dan 2019-05-15 20:50:23 -04:00 committed by Wenzel Jakob
parent ede328a784
commit a163f8813e
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
tools/mkdoc.py
View File

@ -342,8 +342,17 @@ if __name__ == '__main__':
break break
try: try:
if out_path: if out_path:
with open(out_path, 'w') as out_file: try:
mkdoc(args, out_file) with open(out_path, 'w') as out_file:
mkdoc(args, out_file)
except:
# In the event of an error, don't leave a partially-written
# output file.
try:
os.unlink(out_path)
except:
pass
raise
else: else:
mkdoc(args) mkdoc(args)
except NoFilenamesError: except NoFilenamesError: