/**
* Refresh a server.
*
* @param index the servers row in the table.
*/
public void refreshServer(int index) {
try {
ServerInfo _server = m_admin.get_server_info(m_servers[index].name);
m_servers[index] = _server;
buildServerNode(index);
m_server_model.serverRefreshed(index);
if (m_host_names.put(m_servers[index].host, m_servers[index].host) == null)
m_host_selector_model.addElement(m_servers[index].host);
if (_server.name.equals(m_poa_model.getServerName())) m_poa_model.setPOAs(_server.poas);
} catch (Exception _e) {
handleException(_e);
}
}
