equal
deleted
inserted
replaced
540 if (rev == nullrev): |
540 if (rev == nullrev): |
541 return nullrev |
541 return nullrev |
542 else: |
542 else: |
543 return self.index[rev][-5] |
543 return self.index[rev][-5] |
544 |
544 |
545 def reachable(self, rev, stop=None): |
545 def reachable(self, node, stop=None): |
546 reachable = {} |
546 reachable = {} |
547 visit = [rev] |
547 visit = [node] |
548 reachable[rev] = 1 |
548 reachable[node] = 1 |
549 if stop: |
549 if stop: |
550 stopn = self.rev(stop) |
550 stopn = self.rev(stop) |
551 else: |
551 else: |
552 stopn = 0 |
552 stopn = 0 |
553 while visit: |
553 while visit: |