/**
* Get the RMI interface object of the BootstrapManager class of a given node.
*
* @param node The node whose BootstrapManager is requested.
* @return The RMI interface object
*/
public Object getBootstrapInterface(Node node) {
return this.networkinterface.getRMIInterface(
"//" + node.getIpAddress() + "/Bootstrap_" + node.getHostname());
}
/**
* Get the RMI interface object of the NodeLinkManager class of a given node.
*
* @param node The node whose NodeLinkManager is requested.
* @return The RMI interface object
*/
public Object getNodeLinkInterface(Node node) {
return this.networkinterface.getRMIInterface(
"//" + node.getIpAddress() + "/NodeLinkManager_" + node.getHostname());
}
