/** In case we get a different JOIN_RSP from a previous JOIN_REQ sent by us (as a client), we simply apply the * new view if it is greater than ours * * @param join_rsp */ public void handleJoinResponse(JoinRsp join_rsp) { View v=join_rsp.getView(); ViewId tmp_vid=v != null? v.getViewId() : null; ViewId my_view=gms.getViewId(); if(tmp_vid != null && my_view != null && tmp_vid.compareToIDs(my_view) > 0) { Digest d=join_rsp.getDigest(); gms.installView(v, d); } }
if(view != null && vid.compareToIDs(view.getViewId()) <= 0) return;
if (viewId != null && new_view.getViewId().compareToIDs(viewId) <= 0) return null; if(new_view instanceof DeltaView) { if(my_view_id != null && my_view_id.compareToIDs(view_id) <= 0) return null; // my view-id doesn't differ from sender's view-id; no need to send view
if (viewId != null && view.getViewId().compareToIDs(viewId) <= 0) { logWarn(() -> String.format("Called View accepted [%s] but there's no changes.", view)); return;
/** In case we get a different JOIN_RSP from a previous JOIN_REQ sent by us (as a client), we simply apply the * new view if it is greater than ours * * @param join_rsp */ public void handleJoinResponse(JoinRsp join_rsp) { View v=join_rsp.getView(); ViewId tmp_vid=v != null? v.getViewId() : null; ViewId my_view=gms.getViewId(); if(tmp_vid != null && my_view != null && tmp_vid.compareToIDs(my_view) > 0) { Digest d=join_rsp.getDigest(); gms.installView(v, d); } }
if(view != null && vid.compareToIDs(view.getViewId()) <= 0) return;
if (viewId != null && new_view.getViewId().compareToIDs(viewId) <= 0) return null; if(new_view instanceof DeltaView) { if(my_view_id != null && my_view_id.compareToIDs(view_id) <= 0) return null; // my view-id doesn't differ from sender's view-id; no need to send view