From ba4de1af0a7969a74cd04bd7f7562b4a81599522 Mon Sep 17 00:00:00 2001
From: Ruben Fiszel <ruben@rubenfiszel.com>
Date: Sat, 23 Jul 2022 18:29:21 +0200
Subject: [PATCH] websocket auto-connect

---
 frontend/src/lib/components/Editor.svelte | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontend/src/lib/components/Editor.svelte b/frontend/src/lib/components/Editor.svelte
index da40cfd332..9d74db801f 100644
--- a/frontend/src/lib/components/Editor.svelte
+++ b/frontend/src/lib/components/Editor.svelte
@@ -239,6 +239,7 @@
 					}
 				})
 			}
+			websocketInterval && clearInterval(websocketInterval)
 			websocketInterval = setInterval(() => {
 				if (document.visibilityState == 'visible') {
 					if (!websocketAlive.black && !websocketAlive.deno && !websocketAlive.pyright) {