ICommand
132133134135136137138139
} @Override public boolean leaveGame(PlayerInfo player) { send(new DisconnectCommand()); return true; }
2930313233343536373839
{ authentification(new IdentifyCommand(token)); } else if (commandName.equals(DisconnectCommand.COMMAND_NAME)) { disconnect(new DisconnectCommand(token)); } else if (commandName.equals(ListTableCommand.COMMAND_NAME)) { listTables(new ListTableCommand(token)); }
3637383940414243444546
{ playMoneyCommandReceived(new PlayerPlayMoneyCommand(token)); } else if (commandName.equals(DisconnectCommand.COMMAND_NAME)) { disconnectCommandReceived(new DisconnectCommand(token)); } else { System.out.println("WTF##################: GameServerObserver: should not happen!!! "); super.commandReceived(line);
119120121122123124125126127128129
m_clients.remove(0); } if (isConnected()) { // Alors on disconnect send(new DisconnectCommand()); m_fromServer.close(); m_toServer.close(); m_socket.close(); m_socket = null; m_fromServer = null;
8889909192939495969798
createGUI(); // Close existing session. try { new DisconnectCommand(_session, _prefs, _sessionProps).execute(); } catch (BaseException ex) { s_log.error(ex); }
8182838485868788899091
if (_session != null) { WebServiceSessionProperties wss = _plugin.getWebServiceSessionProperties(_session); try { new DisconnectCommand(_session, _prefs, wss).execute(); } catch (BaseException ex) { _session.getApplication().showErrorDialog("Error closing SQL Validation web service", ex); }