From 0e4413f06d0e1ec2e071c459a756fde155d6117c Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@pm.me>
Date: Thu, 2 Apr 2020 11:50:46 +0200
Subject: [PATCH] increase disconnected-check interval timeout

---
 src/y-websocket.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/y-websocket.js b/src/y-websocket.js
index 4698d37..38465b3 100644
--- a/src/y-websocket.js
+++ b/src/y-websocket.js
@@ -251,7 +251,7 @@ export class WebsocketProvider extends Observable {
         // updates (which are updated every 15 seconds)
         /** @type {WebSocket} */ (this.ws).close()
       }
-    }, 500)
+    }, messageReconnectTimeout / 10)
     if (connect) {
       this.connect()
     }