sendPingTermination();
    void interruptPingerThread() {        if(pinger_thread != null && pinger_thread.isAlive()) {            regular_sock_close=true;            teardownPingSocket(); // will wake up the pinger thread. less elegant than Thread.interrupt(), but does the job        }    }