ui: Add Websocket prefix settings (#449)

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

@@ -31,7 +31,7 @@ const page = new NamedPage('home_messages', () => {
 
     reduxStore = store;
 
-    const sock = new WebSocket('/home/messages-conn');
+    const sock = new WebSocket(`${UiContext.ws_prefix}home/messages-conn`);
     sock.onmessage = (message) => {
       const msg = JSON.parse(message.data);
       store.dispatch({

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

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

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

@@ -141,7 +141,7 @@ const page = new NamedPage(['problem_detail', 'contest_detail_problem', 'homewor
     const { default: ScratchpadReducer } = await import('../components/scratchpad/reducers');
     const { Provider, store } = await loadReactRedux(ScratchpadReducer);
 
-    const sock = new WebSocket(UiContext.pretestConnUrl);
+    const sock = new WebSocket(UiContext.ws_prefix + UiContext.pretestConnUrl);
     sock.onmessage = (message) => {
       const msg = JSON.parse(message.data);
       store.dispatch({

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

@@ -8,7 +8,7 @@ const page = new NamedPage('record_detail', async () => {
     import('diff-dom'),
   ]);
 
-  const sock = new WebSocket(UiContext.socketUrl);
+  const sock = new WebSocket(UiContext.ws_prefix + UiContext.socketUrl);
   const dd = new DiffDOM();
   sock.onmessage = (message) => {
     const msg = JSON.parse(message.data);

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

@@ -11,7 +11,7 @@ const page = new NamedPage('record_main', async () => {
     import('diff-dom'),
   ]);
 
-  const sock = new WebSocket(UiContext.socketUrl);
+  const sock = new WebSocket(UiContext.ws_prefix + UiContext.socketUrl);
   const dd = new DiffDOM();
 
   sock.onopen = () => sock.send(JSON.stringify({ rids: UiContext.rids }));