Remove external judge server entirely

config-example.json

@@ -166,8 +166,6 @@
     }
   ],
   "session_secret": "233",
-  "judge_server_addr": "http://127.0.0.1:5284",
   "rabbitMQ": "amqp://localhost/",
-  "judge_token": "233",
   "email_jwt_secret": "test"
 }

views/submissions.ejs

@@ -114,7 +114,7 @@ $(function () {
   $('#select_status').dropdown();
 });
 const itemList = <%- JSON.stringify(items) %>;
-const socketUrl = <%- syzoj.utils.judgeServer(pushType) %>;
+const socketUrl = "/rough";
 const displayConfig = <%- JSON.stringify(displayConfig) %>;
 
 const vueApp = new Vue({