14781479148014811482148314841485148614871488
protected void stop(EObject reason) throws Pausable { super.stop(reason); tcp_close_check(); InetSocket ff = fd; if (ff != null) { SelectableChannel ch = ff.channel(); if (ch != null) { sock_close(ch); } } }