Massbug/judge4c
2
0
Fork 0
mirror of https://github.com/massbug/judge4c.git synced 2025-05-17 23:12:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

refactor(language-server): modify connectToLanguageServer to return both client and webSocket

Browse Source
This commit is contained in:
cfngc4594 2025-03-23 23:51:12 +08:00
parent f246ff1a6d
commit 1796d21a09
1 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/lib/language-server.ts
View File

@ -7,8 +7,7 @@ import { toSocket, WebSocketMessageReader, WebSocketMessageWriter } from "vscode
// Create the WebSocket URL based on the protocol and port
function createUrl(languageServerConfig: LanguageServerConfig): string {
return normalizeUrl(
`${languageServerConfig.protocol}://${languageServerConfig.hostname}${
languageServerConfig.port ? `:${languageServerConfig.port}` : ""
`${languageServerConfig.protocol}://${languageServerConfig.hostname}${languageServerConfig.port ? `:${languageServerConfig.port}` : ""
}${languageServerConfig.path || ""}`
);
}
@ -34,9 +33,7 @@ async function createLanguageClient(
},
// create a language client connection from the JSON RPC connection on demand
connectionProvider: {
get: () => {
return Promise.resolve(transports);
},
get: () => Promise.resolve(transports),
},
});
}
@ -45,7 +42,7 @@ async function createLanguageClient(
export function connectToLanguageServer(
editorLanguageConfig: EditorLanguageConfig,
languageServerConfig: LanguageServerConfig
): Promise<MonacoLanguageClient> {
): Promise<{ client: MonacoLanguageClient; webSocket: WebSocket }> {
const url = createUrl(languageServerConfig);
const webSocket = new WebSocket(url);
@ -57,14 +54,18 @@ export function connectToLanguageServer(
const writer = new WebSocketMessageWriter(socket);
try {
const languageClient = await createLanguageClient({ reader, writer }, editorLanguageConfig);
const languageClient = await createLanguageClient(
{ reader, writer },
editorLanguageConfig
);
// Start the language client
languageClient.start();
// Stop the language client when the reader closes
reader.onClose(() => languageClient.stop());
resolve(languageClient);
resolve({ client: languageClient, webSocket });
} catch (error) {
reject(error);
}