File ws.js

host/network/src/main/ws.js:None–None

/* WebSocket, push-event pattern (streaming, so `bind_event` + `receive()` like `dom`). */

export default ({ sockets, allocSocket, socket }, { pushEvent }) => ({
    /* `ws_open(url, msg)` -> socket handle. Every event (open/message/close/error) arrives via `receive()` tagged `msg`. */