/** Fetch all servers from the repository. Rebuild Tree and HostSelector. */
public void fetchServers() {
m_servers = m_admin.list_servers();
m_server_model.setServers(m_servers);
m_server_names.clear();
for (int _i = 0; _i < m_servers.length; _i++)
m_server_names.put(m_servers[_i].name, new Integer(_i));
String _server = m_poa_model.getServerName();
if (_server != null) m_poa_model.setPOAs(m_servers[indexForServerName(_server)].poas);
buildTree();
buildHostSelectorModel();
}
/**
* 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);
}
}
/**
* Set the POA table model to the specific server, i.e. the POA table displays this servers poas.
*
* @param server the servers name to build the table for.
*/
public void poaTableForServer(ServerInfo server) {
m_poa_model.setPOAs(server.poas);
}
