if (!is_autoconnect) {
setUIDisconnected(server);
}
}
public void serverMessage(Server server,final String message) {
SWTThread.getDisplay().asyncExec(new JMRunnable() {
public void JMRun() {
server_messages.addText(message);
}});
}
public void autoConnectFailed() {
if (is_autoconnect) {
is_autoconnect = false;
setUIDisconnected(null);
}
}
public void autoConnectStarted() {
if ( is_autoconnect == false ) {
is_autoconnect = true;
setUIConnecting();
}
}
public void isConnecting(Server server) {
setUIConnecting(server);
}
public void serverAdded(final Server server) {
SWTThread.getDisplay().asyncExec(new JMRunnable() {
public void JMRun() {
MainWindow.getLogger().fine(Localizer._("mainwindow.logtab.message_server_added",server.getAddress()+":"+server.getPort()));
server_list.addServer(server);
server_list_tab.setServerCount(server_manager.getServersCount());
}});
}
public void serverConnectingFailed(Server server, Throwable cause) {
setUIDisconnected(server);
}
public void serverListCleared() {
SWTThread.getDisplay().asyncExec(new JMRunnable() {
public void JMRun() {
MainWindow.getLogger().fine(Localizer._("mainwindow.logtab.message_server_list_cleared"));
server_list.clear();
server_list_tab.setServerCount(server_manager.getServersCount());
}});
}
public void serverRemoved(final Server server) {
SWTThread.getDisplay().asyncExec(new JMRunnable() {
public void JMRun() {
MainWindow.getLogger().fine(Localizer._("mainwindow.logtab.message_server_removed",server.getAddress()+":"+server.getPort()));
server_list.removeServer(server);
server_list_tab.setServerCount(server_manager.getServersCount());
}});