magmise
/
console
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

On start or server select open new websocket rather than reloading

This commit is contained in:
Jimmy 2021-09-22 21:38:03 +12:00
parent 5d8ba91865
commit 905cb9412c
1 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
frontend/src/main.js
View File

@ -62,8 +62,17 @@ function main() {
serverselect.addEventListener("click", (event) => { serverselect.addEventListener("click", (event) => {
console.log(serverselect.value); console.log(serverselect.value);
window.location.hash = serverselect.value; window.location.hash = serverselect.value;
server = serverselect.value;
socket.close(); socket.close();
location.reload(); try {
socket = new WebSocket(`wss://${host}/server/${server}/logs?token=${token}`);
const attachAddon = new AttachAddon(socket);
term.loadAddon(attachAddon);
} catch(err) {
alert("You are not allowed to use this server");
return;
}
//location.reload();
}) })
window.onbeforeunload = function() { window.onbeforeunload = function() {
@ -90,7 +99,15 @@ function main() {
return return
} }
socket.close(); socket.close();
location.reload(); try {
socket = new WebSocket(`wss://${host}/server/${server}/logs?token=${token}`);
const attachAddon = new AttachAddon(socket);
term.loadAddon(attachAddon);
} catch(err) {
alert("You are not allowed to use this server");
return;
}
//location.reload();
} catch(err) { } catch(err) {
console.error(`Error: ${err}`); console.error(`Error: ${err}`);
} }