Java Code Examples for org.jgroups.Message#getHeader()

The following examples show how to use org.jgroups.Message#getHeader() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: NO_DUPES.java    From jgroups-raft with Apache License 2.0 5 votes vote down vote up 
public void up(MessageBatch batch) {
    for(Message msg: batch) {
        GMS.GmsHeader hdr=msg.getHeader(gms_id);
        if(hdr != null && !handleGmsHeader(hdr, msg.src()))
            batch.remove(msg);
    }
    if(!batch.isEmpty())
        up_prot.up(batch);
}
Example 2
Source File: ELECTION.java    From jgroups-raft with Apache License 2.0 5 votes vote down vote up 
public Object up(Message msg) {
    RaftHeader hdr=msg.getHeader(id);
    if(hdr != null) {
        handleEvent(msg, hdr);
        return null;
    }
    return up_prot.up(msg);
}
Example 3
Source File: ELECTION.java    From jgroups-raft with Apache License 2.0 5 votes vote down vote up 
public void up(MessageBatch batch) {
    for(Message msg: batch) {
        RaftHeader hdr=msg.getHeader(id);
        if(hdr != null) {
            batch.remove(msg);
            handleEvent(msg, hdr);
        }
    }
    if(!batch.isEmpty())
        up_prot.up(batch);
}
Example 4
Source File: NO_DUPES.java    From jgroups-raft with Apache License 2.0 4 votes vote down vote up 
public Object up(Message msg) {
    GMS.GmsHeader hdr=msg.getHeader(gms_id);
    if(hdr != null && !handleGmsHeader(hdr, msg.src()))
        return null;
    return up_prot.up(msg);
}