/**
* Set a server down.
*
* @param server_row the servers row in the table.
*/
public void setServerDown(int server_row) {
Registration _reg = RegistrationHelper.narrow(m_admin);
try {
_reg.set_server_down(m_servers[server_row].name);
} catch (Exception _e) {
handleException(_e);
}
refreshServer(m_servers[server_row].name);
}
/** Get the ImRInfo struct from the repository. */
private void fetchImRInfo() {
Registration _reg = RegistrationHelper.narrow(m_admin);
m_imr_info = _reg.get_imr_info();
}
