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'); sock.onopen = () => { const div = $('