import { NamedPage } from 'vj/misc/PageLoader'; import * as recordEnum from 'vj/constant/record'; const page = new NamedPage('judge_playground', async () => { const { default: SockJs } = await import('sockjs-client'); const sock = new SockJs(`/judge/consume-conn?token=${UiContext.csrfToken}`); sock.onopen = () => { const div = $('
').appendTo('#messages'); $('

Connection opened.

') .appendTo(div); }; sock.onmessage = (message) => { const msg = JSON.parse(message.data); const div = $('
').appendTo('#messages'); $('

Record

') .appendTo(div); const body = $('
').text(message.data).appendTo(div); const send = (key, packet) => { const data = { ...packet, key, tag: msg.tag, }; sock.send(JSON.stringify(data)); }; $('