send_queue_handler.stop(); handler=null;
sender.stop(); receiverThread=null;
        void destroy() {            closeSocket(); // should terminate handler as well            send_queue_handler.stop();            handler=null;        }