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;
}
