equal
deleted
inserted
replaced
213 progress = ui.makeprogress(_('searching'), unit=_('queries')) |
213 progress = ui.makeprogress(_('searching'), unit=_('queries')) |
214 while undecided: |
214 while undecided: |
215 |
215 |
216 if sample: |
216 if sample: |
217 missinginsample = [n for i, n in enumerate(sample) if not yesno[i]] |
217 missinginsample = [n for i, n in enumerate(sample) if not yesno[i]] |
218 missing.update(dag.descendantset(missinginsample, missing)) |
218 |
|
219 if missing: |
|
220 missing.update(local.revs('descendants(%ld) - descendants(%ld)', |
|
221 missinginsample, missing)) |
|
222 else: |
|
223 missing.update(local.revs('descendants(%ld)', missinginsample)) |
219 |
224 |
220 undecided.difference_update(missing) |
225 undecided.difference_update(missing) |
221 |
226 |
222 if not undecided: |
227 if not undecided: |
223 break |
228 break |