return;
}
ServiceInfo si=new ServiceInfo(type, service, host, null);
MuxHeader hdr=new MuxHeader(si);
Message service_msg=new Message();
<BUG>service_msg.putHeader(NAME, hdr);
channel.send(service_msg);</BUG>
}
private void handleStateRequest(Event evt) {
StateTransferInfo info=(StateTransferInfo)evt.getArg();

return;
}
ServiceInfo si=new ServiceInfo(type, service, host, null);
MuxHeader hdr=new MuxHeader(si);
Message service_msg=new Message();
service_msg.putHeader(NAME, hdr);
if(bypassFlush)
service_msg.putHeader(FLUSH.NAME, new FLUSH.FlushHeader(FLUSH.FlushHeader.FLUSH_BYPASS));
channel.send(service_msg);
}
private void handleStateRequest(Event evt) {
StateTransferInfo info=(StateTransferInfo)evt.getArg();
