gms.initState(); // in case connect() is called again
}
}
}
public void handleViewChange(View new_view, Digest digest) {
<BUG>Vector mbrs=new_view.getMembers();
</BUG>
if(log.isDebugEnabled()) {
if(digest != null)
log.debug("view=" + new_view + ", digest=" + digest);

gms.initState(); // in case connect() is called again
}
}
}
public void handleViewChange(View new_view, Digest digest) {
Vector<Address> mbrs=new_view.getMembers();
if(log.isDebugEnabled()) {
if(digest != null)
log.debug("view=" + new_view + ", digest=" + digest);
