core, ui, judge: rewrite http & ws layer (#352)

packages/ui-default/pages/home_messages.page.jsx

@@ -23,7 +23,7 @@ const page = new NamedPage('home_messages', () => {
   }
 
   async function mountComponent() {
-    const { default: SockJs } = await import('../components/socket');
+    const { default: WebSocket } = await import('../components/socket');
     const { default: MessagePadApp } = await import('../components/messagepad');
     const { default: MessagePadReducer } = await import('../components/messagepad/reducers');
     const {
@@ -32,7 +32,7 @@ const page = new NamedPage('home_messages', () => {
 
     reduxStore = store;
 
-    const sock = new SockJs('/home/messages-conn');
+    const sock = new WebSocket('/home/messages-conn');
     sock.onmessage = (message) => {
       const msg = JSON.parse(message.data);
       store.dispatch({

packages/ui-default/pages/manage_dashboard.page.js

@@ -1,9 +1,9 @@
 import { NamedPage } from 'vj/misc/Page';
 
 const page = new NamedPage('manage_dashboard', async () => {
-  const { default: SockJs } = await import('../components/socket');
+  const { default: WebSocket } = await import('../components/socket');
 
-  const sock = new SockJs('/manage/check-conn');
+  const sock = new WebSocket('/manage/check-conn');
   sock.onopen = () => {
     $('<blockquote class="blue"><p>Connection opened.</p></blockquote>').appendTo('#messages');
   };

packages/ui-default/pages/problem_detail.page.jsx

@@ -129,14 +129,14 @@ const page = new NamedPage(['problem_detail', 'contest_detail_problem', 'homewor
     if (reactLoaded) return;
     $('.loader-container').show();
 
-    const { default: SockJs } = await import('../components/socket');
+    const { default: WebSocket } = await import('../components/socket');
     const { default: ScratchpadApp } = await import('../components/scratchpad');
     const { default: ScratchpadReducer } = await import('../components/scratchpad/reducers');
     const {
       React, render, unmountComponentAtNode, Provider, store,
     } = await loadReactRedux(ScratchpadReducer);
 
-    const sock = new SockJs(UiContext.pretestConnUrl);
+    const sock = new WebSocket(UiContext.pretestConnUrl);
     sock.onmessage = (message) => {
       const msg = JSON.parse(message.data);
       store.dispatch({

packages/ui-default/pages/record_detail.page.ts

@@ -2,12 +2,12 @@ import { NamedPage } from 'vj/misc/Page';
 
 const page = new NamedPage('record_detail', async () => {
   if (!UiContext.socketUrl) return;
-  const [{ default: SockJs }, { DiffDOM }] = await Promise.all([
+  const [{ default: WebSocket }, { DiffDOM }] = await Promise.all([
     import('../components/socket'),
     import('diff-dom'),
   ]);
 
-  const sock = new SockJs(UiContext.socketUrl);
+  const sock = new WebSocket(UiContext.socketUrl);
   const dd = new DiffDOM();
   sock.onmessage = (message) => {
     const msg = JSON.parse(message.data);

packages/ui-default/pages/record_main.page.ts

@@ -5,12 +5,12 @@ import tpl from 'vj/utils/tpl';
 import getAvailableLangs from 'vj/utils/availableLangs';
 
 const page = new NamedPage('record_main', async () => {
-  const [{ default: SockJs }, { DiffDOM }] = await Promise.all([
+  const [{ default: WebSocket }, { DiffDOM }] = await Promise.all([
     import('../components/socket'),
     import('diff-dom'),
   ]);
 
-  const sock = new SockJs(UiContext.socketUrl);
+  const sock = new WebSocket(UiContext.socketUrl);
   const dd = new DiffDOM();
 
   let firstLoad = true;