switch (evt.getType())
{
case Event.GET_DIGEST:
case Event.GET_DIGEST_STATE:
Digest d = new Digest(members.size());
Address sender = null;
//all members have same digest :)
for (int j = 0; j < members.size(); j++)
{
sender = (Address) members.elementAt(j);
d.add(sender, highestSeenSeq, highestSeenSeq);
}
passUp(new Event(Event.GET_DIGEST_OK, d));
return false;
case Event.SET_DIGEST:
Digest receivedDigest = (Digest) evt.getArg();
// changed by bela July 12 2005, not sure if this is correct, don't know what the original author
// intended to do here
// myAru = receivedDigest.highSeqnoAt(0);
myAru = receivedDigest.highSeqnoAt(localAddress);
return false;
case Event.VIEW_CHANGE:
onViewChange();
return true;