diff options
Diffstat (limited to 'main.py')
-rwxr-xr-x | main.py | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -198,6 +198,10 @@ class _Repo(object): | |||
198 | else: | 198 | else: |
199 | print('error: project group must be enabled for the project in the current directory', file=sys.stderr) | 199 | print('error: project group must be enabled for the project in the current directory', file=sys.stderr) |
200 | result = 1 | 200 | result = 1 |
201 | except SystemExit as e: | ||
202 | if e.code: | ||
203 | result = e.code | ||
204 | raise | ||
201 | finally: | 205 | finally: |
202 | elapsed = time.time() - start | 206 | elapsed = time.time() - start |
203 | hours, remainder = divmod(elapsed, 3600) | 207 | hours, remainder = divmod(elapsed, 3600) |