throw new Exception("failed to parse 'initial_hosts'", t);
}
}
public void sendGetMembersRequest(String cluster_name, Promise promise) throws Exception{
PhysicalAddress physical_addr=(PhysicalAddress)down_prot.down(new Event(Event.GET_PHYSICAL_ADDRESS, local_addr));
PingData data=new PingData(local_addr, null, false, UUID.get(local_addr), Arrays.asList(physical_addr));
PingHeader hdr=new PingHeader(PingHeader.GET_MBRS_REQ, data, cluster_name);
Set<PhysicalAddress> combined_target_members=new HashSet<PhysicalAddress>(initial_hosts);
combined_target_members.addAll(dynamic_hosts);