android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-21 07:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Print an error message when aborted by user

Browse Source 
Change-Id: If7378c5deaace0ac6ab2be961e38644d9373557d
This commit is contained in:
David Pursehouse 2012-11-13 09:56:16 +09:00
parent 0b8df7be79
commit b0936b0e20
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
main.py
View File

@ -397,6 +397,7 @@ def _Main(argv):
finally: finally:
close_ssh() close_ssh()
except KeyboardInterrupt: except KeyboardInterrupt:
print >>sys.stderr, 'aborted by user'
result = 1 result = 1
except ManifestParseError as mpe: except ManifestParseError as mpe:
print >>sys.stderr, 'fatal: %s' % mpe print >>sys.stderr, 'fatal: %s' % mpe