From 58e4f1220b7163bea1a84099ab9d388d42392f5a Mon Sep 17 00:00:00 2001
From: ngc2207 <cfngc3109@gmail.com>
Date: Sun, 5 Jan 2025 04:01:37 +0800
Subject: [PATCH] fix(playground): properly stop language client when closing
 WebSocket connection

---
 src/app/playground/page.tsx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/app/playground/page.tsx b/src/app/playground/page.tsx
index 05df209..94ba1db 100644
--- a/src/app/playground/page.tsx
+++ b/src/app/playground/page.tsx
@@ -65,6 +65,10 @@ export default function PlaygroundPage() {
           webSocketRef.current.close();
           webSocketRef.current = null;
         }
+        if (languageClientRef.current) {
+          languageClientRef.current.stop();
+          languageClientRef.current = null;
+        }
         connectToLanguageServer(language, webSocketRef).then(
           (languageClient) => {
             languageClientRef.current = languageClient;