299300301302303304305306307308309
* * @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);
7071727374757677787980
} else setText(_poa.name); } else if (_node instanceof ServerInfo){ ServerInfo _server = (ServerInfo) _node; setToolTipText("Server is " + ((_server.active)? "active" : "down") + ((_server.holding)? "and holding" : ""));