/** * ************************************************************************* Update server * information ************************************************************************ */ private void updateServer(boolean connectionLost) { if (s_serverInfo != null) { String name = s_serverInfo.getName(); String role = s_serverInfo.getRole().name(); m_connection.setText(" " + name + " "); m_mode.setText(role); m_mode.setBackground(s_okColor); m_connection.setBackground(s_okColor); } else { m_connection.setText(ConnectionStatusConstants.DISCONNECTED); m_mode.setText(ConnectionStatusConstants.UNKNOWN); if (connectionLost) { m_connection.setBackground(s_errorColor); m_mode.setBackground(s_errorColor); } else { m_connection.setBackground(s_warnColor); m_mode.setBackground(s_warnColor); } } m_base.getParent().pack(); }