~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to bzrlib/graph.py

  • Committer: Robert Collins
  • Date: 2008-02-03 22:55:08 UTC
  • mto: This revision was merged to the branch mainline in revision 3216.
  • Revision ID: robertc@robertcollins.net-20080203225508-0rogbg0ggonuqfhp
Change the smart server get_parents method to take a graph search to exclude already recieved parents from. This prevents history shortcuts causing huge numbers of duplicates.

Show diffs side-by-side

added added

removed removed

Lines of Context:
514
514
            # exclude keys for them. However, while we could have a second
515
515
            # look-ahead result buffer and shuffle things around, this method
516
516
            # is typically only called once per search - when memoising the
517
 
            # results of the search.
 
517
            # results of the search. 
518
518
            found, ghosts, next, parents = self._do_query(self._next_query)
519
519
            # pretend we didn't query: perhaps we should tweak _do_query to be
520
520
            # entirely stateless?