equal
deleted
inserted
replaced
442 return |
442 return |
443 repo.changelog.rev(node) # make sure node isn't filtered |
443 repo.changelog.rev(node) # make sure node isn't filtered |
444 return node |
444 return node |
445 |
445 |
446 def isrevsymbol(repo, symbol): |
446 def isrevsymbol(repo, symbol): |
|
447 """Checks if a symbol exists in the repo. |
|
448 |
|
449 See revsymbol() for details. Raises error.LookupError if the symbol is an |
|
450 ambiguous nodeid prefix. |
|
451 """ |
447 try: |
452 try: |
448 revsymbol(repo, symbol) |
453 revsymbol(repo, symbol) |
449 return True |
454 return True |
450 except error.RepoLookupError: |
455 except error.RepoLookupError: |
451 return False |
456 return False |