| commit | b0936b0e2015a9f4f68824aac09d6248b14f2f9d | [log] [tgz] |
|---|---|---|
| author | David Pursehouse <david.pursehouse@sonymobile.com> | Tue Nov 13 09:56:16 2012 +0900 |
| committer | David Pursehouse <david.pursehouse@sonymobile.com> | Tue Nov 13 09:56:16 2012 +0900 |
| tree | 5a9bad3ed6212c4fe53728fee30a761a2f917b77 | |
| parent | 0b8df7be79d2b8b5d5a884fc2b0d070b42861459 [diff] [blame] |
Print an error message when aborted by user Change-Id: If7378c5deaace0ac6ab2be961e38644d9373557d
diff --git a/main.py b/main.py index 5e575c5..2cafb12 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