diff options
| -rwxr-xr-x | bin/reproducible_common.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index edc43ef8..7782f623 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -12,6 +12,7 @@ import os import re import sys +import errno import sqlite3 import logging import argparse @@ -208,7 +209,11 @@ def write_html_page(title, body, destfile, noheader=False, style_note=False, noe html += html_footer.substitute(date=now) else: html += '</body>\n</html>' - os.makedirs(destfile.rsplit('/', 1)[0], exist_ok=True) + try: + os.makedirs(destfile.rsplit('/', 1)[0], exist_ok=True) + except OSError as e: + if e.errno != errno.EEXIST: # that's 'File exists' error (errno 17) + raise with open(destfile, 'w') as fd: fd.write(html) |