public void stop() { if (server != null) server._writeObject(new SD_UserDel(null)); // to bypass the queue }