186187188189190191192193194
} } public void disconnectFromHost() { if (socket != null) { sendMessage(new QuitMessage()); end(); } }