Function sendJSON

src/server/web/public/terminal.js:8835–8837

(msg)

  }
  url.searchParams.set("cols", String(term.cols));
  url.searchParams.set("rows", String(term.rows));
  return url.toString();
}
function sendJSON(msg) {
  if ((ws == null ? void 0 : ws.readyState) === WebSocket.OPEN) ws.send(JSON.stringify(msg));
}