| Index: git_cherry_pick_upload.py
|
| diff --git a/git_cherry_pick_upload.py b/git_cherry_pick_upload.py
|
| index 2a048faae37db55c2f2a920bb8f685cfdfe4f7ae..0bcb9fd926737e745fbca5b8d1408ad8f05b1f2d 100755
|
| --- a/git_cherry_pick_upload.py
|
| +++ b/git_cherry_pick_upload.py
|
| @@ -139,6 +139,12 @@ def main():
|
| )
|
| args = parser.parse_args()
|
| cherry_pick(args.branch, args.commit)
|
| + return 0
|
| +
|
|
|
| if __name__ == '__main__':
|
| - sys.exit(main())
|
| + try:
|
| + sys.exit(main())
|
| + except KeyboardInterrupt:
|
| + sys.stderr.write('interrupted\n')
|
| + sys.exit(1)
|
|
|