diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/common/play.js | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/public/common/play.js b/public/common/play.js index cf4bcad..e34f42c 100644 --- a/public/common/play.js +++ b/public/common/play.js @@ -442,6 +442,15 @@ function connect_play() { let arg = msg_data[1] console.log("MESSAGE", cmd) switch (cmd) { + case "warning": + document.getElementById("prompt").textContent = arg + document.querySelector("header").classList.add("disconnected") + setTimeout(() => { + document.querySelector("header").classList.remove("disconnected") + on_update_header() + }, 1000) + break + case "error": document.getElementById("prompt").textContent = arg if (view) { |