if(v == null || d == null) {
if(log.isErrorEnabled()) log.error("view or digest is null, cannot send consolidated merge view/digest");
return;
}
if(log.isTraceEnabled())
<BUG>log.trace("sending merge view " + v.getVid() + " to coordinators " + coords);
for(int i=0; i < coords.size(); i++) {
coord=(Address)coords.elementAt(i);
msg=new Message(coord, null, null);

hdr=new GMS.GmsHeader(GMS.GmsHeader.INSTALL_MERGE_VIEW);
</BUG>
hdr.view=v;

if(v == null || d == null) {
if(log.isErrorEnabled()) log.error("view or digest is null, cannot send consolidated merge view/digest");
return;
}
if(log.isTraceEnabled())
log.trace("sending merge view " + v.getVid() + " to coordinators " + coords);
for(Address coord:coords) {
Message msg=new Message(coord, null, null);
GMS.GmsHeader hdr=new GMS.GmsHeader(GMS.GmsHeader.INSTALL_MERGE_VIEW);
hdr.view=v;
