mirror of
https://gerrit.googlesource.com/git-repo
synced 2024-12-23 07:16:21 +00:00
Merge "Print an error message when aborted by user"
This commit is contained in:
commit
8e3d355d44
1
main.py
1
main.py
@ -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
|
||||||
|
Loading…
Reference in New Issue
Block a user