public void discoveryRequestReceived(
Address sender, String logical_name, Collection<PhysicalAddress> physical_addrs) {
super.discoveryRequestReceived(sender, logical_name, physical_addrs);
if (physical_addrs != null) {
for (PhysicalAddress addr : physical_addrs) {
if (!initial_hosts.contains(addr)) dynamic_hosts.addIfAbsent(addr);
}
}
}
public String findInitialMembersAsString() {
return p.findInitialMembersAsString();
}
public Vector findInitialMembers() {
return new Vector(p.findInitialMembers(null));
}
public int getDiscoveryRequestsSent() {
return p.getNumberOfDiscoveryRequestsSent();
}
public void setPingRequests(int num_ping_requests) {
p.setNumPingRequests(num_ping_requests);
}
public int getPingRequests() {
return p.getNumPingRequests();
}
public void setInitialMembers(int num_initial_members) {
p.setNumInitialMembers(num_initial_members);
}
public int getInitialMembers() {
return p.getNumInitialMembers();
}
public void setTimeout(long timeout) {
p.setTimeout(timeout);
}
public long getTimeout() {
return p.getTimeout();
}
public void start() throws Exception {
super.start();
}
public void init() throws Exception {
super.init();
}
