import "io/websocket";
WebSocket server.
static function create_server(conn: TCPConnection): WebSocket
function receive(): Byte[]
function receive(max_size: Integer): Byte[]
function receive_wait(timeout: Integer): Byte[]
function receive_wait(max_size: Integer, timeout: Integer): Byte[]
function send(msg: Byte[])