| commit | 8e3d355d448671e7c9b3409a3bbde971f90d7c28 | [log] [tgz] |
|---|---|---|
| author | Conley Owens <cco3@android.com> | Mon Nov 12 17:35:47 2012 -0800 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Nov 12 17:35:47 2012 -0800 |
| tree | 5a65a2b0990d70dd57962b337ef7b6074e5ea4ff | |
| parent | 4a4776e9abfca33caca9f71f0f48c920065dbaf4 [diff] | |
| parent | b0936b0e2015a9f4f68824aac09d6248b14f2f9d [diff] |
Merge "Print an error message when aborted by user"
diff --git a/main.py b/main.py index 41c3ec6..b43a48f 100755 --- a/main.py +++ b/main.py
@@ -397,6 +397,7 @@ finally: close_ssh() except KeyboardInterrupt: + print >>sys.stderr, 'aborted by user' result = 1 except ManifestParseError as mpe: print >>sys.stderr, 'fatal: %s' % mpe