equal
deleted
inserted
replaced
797 elif revs: |
797 elif revs: |
798 rev = get_rev(node) |
798 rev = get_rev(node) |
799 if rev is not None and rev in revs: |
799 if rev is not None and rev in revs: |
800 pendingnodes.add(node) |
800 pendingnodes.add(node) |
801 seenmarkers = set() |
801 seenmarkers = set() |
802 seennodes = set(pendingnodes) |
802 seenmarkers = set() |
|
803 seennodes = set() |
803 precursorsmarkers = self.predecessors |
804 precursorsmarkers = self.predecessors |
804 succsmarkers = self.successors |
805 succsmarkers = self.successors |
805 children = self.children |
806 children = self.children |
806 while pendingnodes: |
807 while pendingnodes: |
807 direct = set() |
808 direct = set() |