diff options
| -rwxr-xr-x | bin/reproducible_common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 1b191b5c..f39e0a91 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -138,7 +138,7 @@ html_header = Template("""<!DOCTYPE html> try: JOB_URL = os.environ['JOB_URL'] -except KeyError +except KeyError: JOB_FOOTER = '' else: JOB_NAME = os.path.basename(JOB_URL[:-1]) |