From a6d2dddf7af5c3e3aebf79f9faee443ebfafa366 Mon Sep 17 00:00:00 2001 From: Ruben Fiszel Date: Sun, 13 Aug 2023 15:40:34 +0200 Subject: [PATCH] avoid reconnecting to ws unecessarily with bun --- frontend/src/lib/components/Editor.svelte | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/frontend/src/lib/components/Editor.svelte b/frontend/src/lib/components/Editor.svelte index 8503aa2dfc..6c0bd70bfe 100644 --- a/frontend/src/lib/components/Editor.svelte +++ b/frontend/src/lib/components/Editor.svelte @@ -698,7 +698,10 @@ !websocketAlive.black && !websocketAlive.deno && !websocketAlive.pyright && - !websocketAlive.go + !websocketAlive.go && + !websocketAlive.bun && + !websocketAlive.shellcheck && + !websocketAlive.ruff ) { console.log('reconnecting to language servers') lastWsAttempt = new Date()