if(log.isInfoEnabled()) log.info("GET_DIGEST_STATE_OK: digest is " + digest + "\npassUp(GET_APPLSTATE)");
if(log.isDebugEnabled()) log.debug("GET_DIGEST_STATE_OK: digest is " + digest + "\npassUp(GET_APPLSTATE)");
    public void up(Event evt) {        Message     msg;        StateHeader hdr;        switch(evt.getType()) {            case Event.BECOME_SERVER:                is_server=true;                break;            case Event.SET_LOCAL_ADDRESS:                local_addr=(Address)evt.getArg();                break;            case Event.TMP_VIEW:            case Event.VIEW_CHANGE:                Vector new_members=((View)evt.getArg()).getMembers();                synchronized(members) {                    members.removeAllElements();                    if(new_members != null && new_members.size() > 0)                        for(int k=0; k < new_members.size(); k++)                            members.addElement(new_members.elementAt(k));                }                break;            case Event.GET_DIGEST_STATE_OK:                synchronized(state_requesters) {                    if(digest != null) {                        if(log.isWarnEnabled())                            log.warn("GET_DIGEST_STATE_OK: existing digest is not null, overwriting it !");                    }                    digest=(Digest)evt.getArg();                    if(log.isInfoEnabled())                        log.info("GET_DIGEST_STATE_OK: digest is " + digest + "\npassUp(GET_APPLSTATE)");                    passUp(new Event(Event.GET_APPLSTATE));                }                return;            case Event.MSG:                msg=(Message)evt.getArg();                if(!(msg.getHeader(getName()) instanceof StateHeader))                    break;                hdr=(StateHeader)msg.removeHeader(getName());                switch(hdr.type) {                    case StateHeader.STATE_REQ:                        handleStateReq(hdr.sender, hdr.id);                        break;                    case StateHeader.STATE_RSP:                        handleStateRsp(hdr.sender, hdr.digest, msg.getBuffer());                        break;                    default:                        if(log.isErrorEnabled()) log.error("type " + hdr.type + " not known in StateHeader");                        break;                }                return;        }        passUp(evt);    }