/**
* ************************************************************************* 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();
}
