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 175748a6..3f1faa9f 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -1058,6 +1058,8 @@ later is required to fix a server side protocol bug. | |||
| 1058 | verbose=verbose, | 1058 | verbose=verbose, |
| 1059 | ) | 1059 | ) |
| 1060 | success = syncbuf.Finish() | 1060 | success = syncbuf.Finish() |
| 1061 | except KeyboardInterrupt: | ||
| 1062 | logger.error("Keyboard interrupt while processing %s", project.name) | ||
| 1061 | except GitError as e: | 1063 | except GitError as e: |
| 1062 | logger.error( | 1064 | logger.error( |
| 1063 | "error.GitError: Cannot checkout %s: %s", project.name, e | 1065 | "error.GitError: Cannot checkout %s: %s", project.name, e |