| Index: git_cl/git_cl.py
|
| diff --git a/git_cl/git_cl.py b/git_cl/git_cl.py
|
| index 2005c19cd6ef11fe3098129d59006d7483bd17c2..56a2fa6cb8b718dfea61a7365033ad335d0b11b4 100644
|
| --- a/git_cl/git_cl.py
|
| +++ b/git_cl/git_cl.py
|
| @@ -1172,7 +1172,7 @@ def CMDpatch(parser, args):
|
| return 1
|
| issue_arg = args[0]
|
|
|
| - if re.match(r'\d+', input):
|
| + if re.match(r'\d+', issue_arg):
|
| # Input is an issue id. Figure out the URL.
|
| issue = issue_arg
|
| server = settings.GetDefaultServerUrl()
|
| @@ -1188,7 +1188,7 @@ def CMDpatch(parser, args):
|
| match = re.match(r'.*?/issue(\d+)_\d+.diff', issue_url)
|
| if match:
|
| issue = match.group(1)
|
| - url = input
|
| + url = issue_arg
|
| else:
|
| DieWithError('Must pass an issue ID or full URL for '
|
| '\'Download raw patch set\'')
|
|
|