From c3eb2fceea6142fde473f1d2f465e4ec288d9509 Mon Sep 17 00:00:00 2001
From: metamuffin <metamuffin@yandex.com>
Date: Sun, 23 Jan 2022 16:38:06 +0100
Subject: reload page when disconnected, so users notice

---
 source/client/room.ts | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'source/client')

diff --git a/source/client/room.ts b/source/client/room.ts
index de6bff7..72d7df1 100644
--- a/source/client/room.ts
+++ b/source/client/room.ts
@@ -58,6 +58,9 @@ export class Room {
     }
     websocket_close() {
         log("ws", "websocket closed");
+        setTimeout(() => {
+            window.location.reload()
+        }, 1000)
     }
     websocket_open() {
         log("ws", "websocket opened");
-- 
cgit v1.2.3-70-g09d2