if(local_addr.equals(member)) { buf.setHighestDelivered(highest_delivered_seqno); continue; // don't destroy my own window
if(local_addr.equals(member)) { buf.setHighestDelivered(highest_delivered_seqno); continue; // don't destroy my own window
if(local_addr.equals(member)) { buf.setHighestDelivered(highest_delivered_seqno); continue; // don't destroy my own window
if(local_addr.equals(member)) { buf.setHighestDelivered(highest_delivered_seqno); continue; // don't destroy my own window