258259260261262263264265266267
if (connected) { connected = false; die(); } if (!host.equals("localhost")) { //$NON-NLS-1$ game.processGameEvent(new GamePlayerDisconnectedEvent(this, getLocalPlayer())); } } }