1 files changed, 1 insertions, 0 deletions
diff --git a/main.py b/main.py
index 41c3ec6c..b43a48fb 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

diff --git a/main.py b/main.py index 41c3ec6c..b43a48fb 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