commit b0936b0e2015a9f4f68824aac09d6248b14f2f9d
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

Print an error message when aborted by user

Change-Id: If7378c5deaace0ac6ab2be961e38644d9373557d

main.py

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