Function allocSocket

host/network/src/main/state.js:8–8

(ws)

    const sseSources = []; // EventSource per sse_open; nulled on close.

    const allocSocket = (ws) => { sockets.push(ws); return sockets.length - 1; };
    const socket = (h) => {
        if (h < 0 || h >= sockets.length || sockets[h] === null) {
            throw new Error('invalid socket handle: ' + h);