ping_sock.getOutputStream().write(NORMAL_TERMINATION); ping_sock.getOutputStream().flush();
OutputStream out=ping_sock.getOutputStream(); if(out != null) { out.write(NORMAL_TERMINATION); out.flush(); }
    synchronized void sendPingTermination() {        if(ping_sock != null) {            try {                ping_sock.getOutputStream().write(NORMAL_TERMINATION);                ping_sock.getOutputStream().flush();            }            catch(Throwable t) {                if(trace)                    log.trace("problem terminating ping socket", t);            }        }    }