litchi/judge
1
0
Fork 0
mirror of https://litchi.icu/ngc2207/judge.git synced 2025-05-18 23:16:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fix(playground): properly stop language client when closing WebSocket connection

Browse Source
This commit is contained in:
ngc2207 2025-01-05 04:01:37 +08:00
parent 168facb85b
commit 58e4f1220b
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/app/playground/page.tsx
View File

@ -65,6 +65,10 @@ export default function PlaygroundPage() {
webSocketRef.current.close(); webSocketRef.current.close();
webSocketRef.current = null; webSocketRef.current = null;
} }
if (languageClientRef.current) {
languageClientRef.current.stop();
languageClientRef.current = null;
}
connectToLanguageServer(language, webSocketRef).then( connectToLanguageServer(language, webSocketRef).then(
(languageClient) => { (languageClient) => {
languageClientRef.current = languageClient; languageClientRef.current = languageClient;