From 7deeba161bad137a84ee03b410e474c908835ff0 Mon Sep 17 00:00:00 2001
From: schlagmichdoch <schlagmichdoch@users.noreply.github.com>
Date: Tue, 10 Jan 2023 14:52:39 +0100
Subject: [PATCH] disconnect on navigator.connection.change

---
 public/scripts/network.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/public/scripts/network.js b/public/scripts/network.js
index 053a8c3..e584227 100644
--- a/public/scripts/network.js
+++ b/public/scripts/network.js
@@ -8,6 +8,9 @@ class ServerConnection {
         Events.on('beforeunload', _ => this._disconnect());
         Events.on('pagehide', _ => this._disconnect());
         document.addEventListener('visibilitychange', _ => this._onVisibilityChange());
+        if (navigator.connection) {
+            navigator.connection.addEventListener('change', _ => this._disconnect());
+        }
         Events.on('reconnect', _ => this._reconnect());
         Events.on('room-secrets', e => this._sendRoomSecrets(e.detail));
         Events.on('room-secret-deleted', e => this.send({ type: 'room-secret-deleted', roomSecret: e.detail}));