diff --git a/static/ws.js b/static/ws.js index 047681a1d34f97f5521f4145812d9852db9ee678..2084716e96f5ff0766b2e17f9f65415e05ce723e 100644 --- a/static/ws.js +++ b/static/ws.js @@ -18,16 +18,6 @@ let poweroff_dialog = new Dialog("Shut down system?", "Do you really want to pow ws2.send(JSON.stringify({command: "close-power-dialog"})); }).create(); -// let projector_poweroff_dialog = new Dialog("Shut down Projector?", "Do you really want to power off the projector?") -// .addOption("Power off", "Yes: Shut down the projector", ["danger"], function(e){ -// // waitingForResponse.push(e.target); -// ws2.send(JSON.stringify({command: "projector-power-off"})); -// ws2.send(JSON.stringify({command: "close-projector-power-dialog"})); -// }) -// .addOption("Keep running", "No: Keep the projector on", [], function(e){ -// console.log("Cancelled Projector Powerdown"); -// ws2.send(JSON.stringify({command: "close-projector-power-dialog"})); -// }).create(); let disconnected_dialog = new Dialog("Connection Error", "The connection to the websocket failed. This should not have happened, please seek help.").create();