Print an error message when aborted by user

Change-Id: If7378c5deaace0ac6ab2be961e38644d9373557d
author: David Pursehouse <david.pursehouse@sonymobile.com> 2012-11-13 09:56:16 +0900
committer: David Pursehouse <david.pursehouse@sonymobile.com> 2012-11-13 09:56:16 +0900
commit: b0936b0e2015a9f4f68824aac09d6248b14f2f9d (patch)
tree: 5a9bad3ed6212c4fe53728fee30a761a2f917b77
parent: 0b8df7be79d2b8b5d5a884fc2b0d070b42861459 (diff)
download: git-repo-b0936b0e2015a9f4f68824aac09d6248b14f2f9d.tar.gz
1 files changed, 1 insertions, 0 deletions
diff --git a/main.py b/main.py
index 5e575c56..2cafb12f 100755
--- a/main.py
+++ b/main.py
@@ -397,6 +397,7 @@ def _Main(argv):
    finally:
      close_ssh()
  except KeyboardInterrupt:
+    print >>sys.stderr, 'aborted by user'
    result = 1
  except ManifestParseError as mpe:
    print >>sys.stderr, 'fatal: %s' % mpe
author	David Pursehouse <david.pursehouse@sonymobile.com>	2012-11-13 09:56:16 +0900
committer	David Pursehouse <david.pursehouse@sonymobile.com>	2012-11-13 09:56:16 +0900
commit	b0936b0e2015a9f4f68824aac09d6248b14f2f9d (patch)
tree	5a9bad3ed6212c4fe53728fee30a761a2f917b77
parent	0b8df7be79d2b8b5d5a884fc2b0d070b42861459 (diff)
download	git-repo-b0936b0e2015a9f4f68824aac09d6248b14f2f9d.tar.gz

diff --git a/main.py b/main.py index 5e575c56..2cafb12f 100755 --- a/main.py +++ b/main.py
@@ -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