On Wed, Jun 17, 2015 at 9:41 AM, Greg Troxel <[email protected]> wrote:
> > > I read these specs by finding a deterministic function from state to who > is DR, and correct code ensures that all sequences of actions compute > the function. So I don't follow "must do DR election on hello > received"; I see it as "after a hello is received, the current value of > DR must be correct". If the hello is from someone already a neighbor > and has the same priority as the previous hello, and if the DR value > is correct before receipt, then I'd expect it to still be correct. > > This how I read it too. > It may be true both that rerunning the election code resolves a prior > issue and that the right fix was to find and remove the error in > maintaining the DR under some transition. > > This was my suspicion as well and I was doing some work to attempt to figure out what that was while Everton had a chance to read his email archives. donald
_______________________________________________ Quagga-dev mailing list [email protected] https://lists.quagga.net/mailman/listinfo/quagga-dev
