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

fix(playground): enhance language server connection handling with support for LSP_SUPPORTED_LANGUAGES

Browse Source
This commit is contained in:
ngc2207 2025-01-05 08:26:13 +08:00
parent 9ecb387418
commit 44ef62c03a
2 changed files with 18 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,13 +1,13 @@
"use client";
import * as monaco from "monaco-editor";
import { connectToLanguageServer } from "@/lib/lsp";
import { useEffect, useRef, useState } from "react";
import { Editor, loader } from "@monaco-editor/react";
import { MonacoLanguageClient } from "monaco-languageclient";
import { Tabs, TabsList, TabsTrigger } from "@/components/ui/tabs";
import { ScrollArea, ScrollBar } from "@/components/ui/scroll-area";
import { COriginal, CplusplusOriginal, JavaOriginal } from "devicons-react";
import { connectToLanguageServer, LSP_SUPPORTED_LANGUAGES } from "@/lib/lsp";
const files: {
[key: string]: { name: string; language: string; value: string };
@ -62,26 +62,32 @@ export default function PlaygroundPage() {
column: lastLineLength + 1,
});
editorRef.current.focus();
if (languageClientRef.current) {
if (
languageClientRef.current &&
language in LSP_SUPPORTED_LANGUAGES
) {
await languageClientRef.current.stop();
languageClientRef.current = null;
}
if (
webSocketRef.current &&
webSocketRef.current.readyState !== WebSocket.CLOSED &&
webSocketRef.current.readyState !== WebSocket.CLOSING
webSocketRef.current.readyState !== WebSocket.CLOSING &&
language in LSP_SUPPORTED_LANGUAGES
) {
webSocketRef.current.close();
webSocketRef.current = null;
}
try {
const languageClient = await connectToLanguageServer(
language,
webSocketRef
);
languageClientRef.current = languageClient;
} catch (error) {
console.error("Failed to connect to language server:", error);
if(language in LSP_SUPPORTED_LANGUAGES){
try {
const languageClient = await connectToLanguageServer(
language,
webSocketRef
);
languageClientRef.current = languageClient;
} catch (error) {
console.error("Failed to connect to language server:", error);
}
}
}
}

2
src/lib/lsp.ts
View File

@ -12,7 +12,7 @@ import { RefObject } from "react";
import normalizeUrl from "normalize-url";
import { MonacoLanguageClient } from "monaco-languageclient";
const LSP_SUPPORTED_LANGUAGES: {
export const LSP_SUPPORTED_LANGUAGES: {
[key: string]: { hostname: string; port: number; path: string };
} = {
c: {