socket 断线自动重连，文件上传功能

ui/pages/home_messages.page.js

@@ -23,7 +23,7 @@ const page = new NamedPage('home_messages', () => {
   }
 
   async function mountComponent() {
-    const { default: SockJs } = await import('sockjs-client');
+    const { default: SockJs } = await import('../components/socket');
     const { default: MessagePadApp } = await import('../components/messagepad');
     const { default: MessagePadReducer } = await import('../components/messagepad/reducers');
     const {

ui/pages/judge_playground.page.js

@@ -3,7 +3,7 @@ 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 { default: SockJs } = await import('../components/socket');
 
   const sock = new SockJs(`/judge/consume-conn?token=${UiContext.token}`);
   sock.onopen = () => {

ui/pages/manage_dashboard.page.js

@@ -1,7 +1,7 @@
 import { NamedPage } from 'vj/misc/PageLoader';
 
 const page = new NamedPage('manage_dashboard', async () => {
-  const { default: SockJs } = await import('sockjs-client');
+  const { default: SockJs } = await import('../components/socket');
 
   const sock = new SockJs(Context.socketUrl);
   sock.onopen = () => {

ui/pages/problem_detail.page.js

@@ -160,7 +160,7 @@ const page = new NamedPage(['problem_detail', 'contest_detail_problem', 'homewor
     if (reactLoaded) return;
     $('.loader-container').show();
 
-    const { default: SockJs } = await import('sockjs-client');
+    const { default: SockJs } = await import('../components/socket');
     const { default: ScratchpadApp } = await import('../components/scratchpad');
     const { default: ScratchpadReducer } = await import('../components/scratchpad/reducers');
     const {

ui/pages/record_detail.page.js

@@ -1,7 +1,7 @@
 import { NamedPage } from 'vj/misc/PageLoader';
 
 const page = new NamedPage('record_detail', async () => {
-  const { default: SockJs } = await import('sockjs-client');
+  const { default: SockJs } = await import('../components/socket');
   const { DiffDOM } = await import('diff-dom');
 
   const sock = new SockJs(Context.socketUrl);

ui/pages/record_main.page.js

@@ -2,7 +2,7 @@ import { NamedPage } from 'vj/misc/PageLoader';
 import UserSelectAutoComplete from 'vj/components/autocomplete/UserSelectAutoComplete';
 
 const page = new NamedPage('record_main', async () => {
-  const { default: SockJs } = await import('sockjs-client');
+  const { default: SockJs } = await import('../components/socket');
   const { DiffDOM } = await import('diff-dom');
 
   const sock = new SockJs(Context.socketUrl);