diff options
| -rw-r--r-- | subcmds/sync.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index 4b7e81df..b80d97b8 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -498,6 +498,8 @@ later is required to fix a server side protocol bug. | |||
| 498 | print('error: Cannot fetch %s from %s' | 498 | print('error: Cannot fetch %s from %s' |
| 499 | % (project.name, project.remote.url), | 499 | % (project.name, project.remote.url), |
| 500 | file=sys.stderr) | 500 | file=sys.stderr) |
| 501 | except KeyboardInterrupt as e: | ||
| 502 | print(f'Keyboard interrupt while processing {project.name}') | ||
| 501 | except GitError as e: | 503 | except GitError as e: |
| 502 | print('error.GitError: Cannot fetch %s' % str(e), file=sys.stderr) | 504 | print('error.GitError: Cannot fetch %s' % str(e), file=sys.stderr) |
| 503 | except Exception as e: | 505 | except Exception as e: |