External/json
8
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

serve_header: fix exit code

Browse Source
This commit is contained in:
Florian Albrechtskirchinger 2022-08-01 15:13:27 +02:00
parent 46e53ad177
commit adb12cd94f
No known key found for this signature in database
GPG Key ID: 19618CE9B2D4BE6D
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/serve_header/serve_header.py
View File

@ -402,8 +402,8 @@ if __name__ == '__main__':
except KeyboardInterrupt: except KeyboardInterrupt:
log.info('exiting') log.info('exiting')
except Exception: except Exception:
log.exception('an error occurred:')
ec = 1 ec = 1
log.exception('an error occurred:')
finally: finally:
if worktrees is not None: if worktrees is not None:
worktrees.stop() worktrees.stop()