tmp_digest.incrementHighestDeliveredSeqno(coord); // see DESIGN for an explanantion tmp_digest.seal(); gms.setDigest(tmp_digest);
tmp_digest.incrementHighestDeliveredSeqno(coord); // see DESIGN for an explanantion tmp_digest.seal(); gms.setDigest(tmp_digest);