equal
deleted
inserted
replaced
445 seen = set(remaining) |
445 seen = set(remaining) |
446 while remaining: |
446 while remaining: |
447 current = remaining.pop() |
447 current = remaining.pop() |
448 yield current |
448 yield current |
449 for mark in obsstore.successors.get(current, ()): |
449 for mark in obsstore.successors.get(current, ()): |
450 # ignore marker flagged with with specified flag |
450 # ignore marker flagged with specified flag |
451 if mark[2] & ignoreflags: |
451 if mark[2] & ignoreflags: |
452 continue |
452 continue |
453 for suc in mark[1]: |
453 for suc in mark[1]: |
454 if suc not in seen: |
454 if suc not in seen: |
455 seen.add(suc) |
455 seen.add(suc) |