diff options
| author | Conley Owens <cco3@android.com> | 2012-11-12 17:35:47 -0800 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2012-11-12 17:35:47 -0800 |
| commit | 8e3d355d448671e7c9b3409a3bbde971f90d7c28 (patch) | |
| tree | 5a65a2b0990d70dd57962b337ef7b6074e5ea4ff | |
| parent | 4a4776e9abfca33caca9f71f0f48c920065dbaf4 (diff) | |
| parent | b0936b0e2015a9f4f68824aac09d6248b14f2f9d (diff) | |
| download | git-repo-8e3d355d448671e7c9b3409a3bbde971f90d7c28.tar.gz | |
Merge "Print an error message when aborted by user"
| -rwxr-xr-x | main.py | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -397,6 +397,7 @@ def _Main(argv): | |||
| 397 | finally: | 397 | finally: |
| 398 | close_ssh() | 398 | close_ssh() |
| 399 | except KeyboardInterrupt: | 399 | except KeyboardInterrupt: |
| 400 | print >>sys.stderr, 'aborted by user' | ||
| 400 | result = 1 | 401 | result = 1 |
| 401 | except ManifestParseError as mpe: | 402 | except ManifestParseError as mpe: |
| 402 | print >>sys.stderr, 'fatal: %s' % mpe | 403 | print >>sys.stderr, 'fatal: %s' % mpe |