From adb12cd94f0a0148fb700c2d5a892ce52c113866 Mon Sep 17 00:00:00 2001 From: Florian Albrechtskirchinger Date: Mon, 1 Aug 2022 15:13:27 +0200 Subject: [PATCH] serve_header: fix exit code --- tools/serve_header/serve_header.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/serve_header/serve_header.py b/tools/serve_header/serve_header.py index ca69d3af7..579fdc19a 100755 --- a/tools/serve_header/serve_header.py +++ b/tools/serve_header/serve_header.py @@ -402,8 +402,8 @@ if __name__ == '__main__': except KeyboardInterrupt: log.info('exiting') except Exception: - log.exception('an error occurred:') ec = 1 + log.exception('an error occurred:') finally: if worktrees is not None: worktrees.stop()