return; num_stable_msgs_received++; updateLocalDigest(d, sender); if(addVote(rank)) { // votes from all members have been received
return; num_stable_msgs_received++; boolean success=updateLocalDigest(d, sender); if(!success) // we can only add the sender to votes if *all* elements of my digest were updated return;
return; num_stable_msgs_received++; updateLocalDigest(d, sender); if(addVote(rank)) { // votes from all members have been received