public virtual Object close() { if (!closed) { closed= true; if (input is input_port) ((input_port)input).close(); if (output is output_port) ((output_port)output).close(); } return bigloo.foreign.BUNSPEC; }
public static Object socket_close( socket s ) { return s.close(); }