Index: git_cl.py |
diff --git a/git_cl.py b/git_cl.py |
index 65524207863dc006b2375af2c1b72d3829abd39d..077eab69c465d4c34385dcdd0bb2e5089d264774 100755 |
--- a/git_cl.py |
+++ b/git_cl.py |
@@ -2037,6 +2037,7 @@ def SendUpstream(parser, args, cmd): |
print 'Failed to push. If this persists, please file a bug.' |
return 1 |
+ killed = False |
if pushed_to_pending: |
try: |
revision = WaitForRealCommit(remote, revision, base_branch, branch) |
@@ -2044,6 +2045,7 @@ def SendUpstream(parser, args, cmd): |
# real ref. |
pushed_to_pending = False |
except KeyboardInterrupt: |
+ killed = True |
pass |
Michael Moss
2014/09/05 17:23:25
nit: remove pass
|
if cl.GetIssue(): |
@@ -2081,7 +2083,7 @@ def SendUpstream(parser, args, cmd): |
if os.path.isfile(hook): |
RunCommand([hook, merge_base], error_ok=True) |
- return 0 |
+ return 1 if killed else 0 |
def WaitForRealCommit(remote, pushed_commit, local_base_ref, real_ref): |