public static Object socket_shutdown( socket s, bool b ) { return s.shutdown( b ); }
public static output_port SOCKET_OUTPUT( socket s ) { return (output_port)s.output; }
public static int SOCKET_PORT( socket s ) { return s.PORT(); }
public static input_port SOCKET_INPUT( socket s ) { return (input_port)s.input; }
public static byte[] socket_local_addr( socket s ) { return s.local_addr(); }
public static Object SOCKET_HOSTIP( socket s ) { return s.HOSTIP(); }
public static Object SOCKET_HOSTNAME( socket s ) { return s.HOSTNAME(); }
public static bool SOCKET_DOWNP( socket s ) { return s.DOWNP(); }
public static Object socket_close( socket s ) { return s.close(); }
public static socket bgl_socket_accept( socket s, bool errp, byte[] inbuf, byte[] outbuf ) { return ((server_socket)s).accept( inbuf, outbuf, errp ); }
public static Object bgl_setsockopt( socket s, keyword se, Object val ) { return BFALSE; }
public static Object bgl_getsockopt( socket s, keyword se ) { return BUNSPEC; }