Can start the LS without real-time diagnostics.

Akos Kitta · Akos Kitta · commit 639c35392c97 · 2022-07-15T14:16:15.000+02:00
Ref: arduino/arduino-language-server#124 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
diff --git a/src/extension.ts b/src/extension.ts
@@ -27,6 +27,7 @@ interface LanguageServerConfig {
     readonly log?: boolean | string;
     readonly env?: any;
     readonly flags?: string[];
+    readonly realTimeDiagnostics?: boolean;
 }
 
 interface DebugConfig {
@@ -202,6 +203,9 @@ async function buildLanguageClient(config: LanguageServerConfig): Promise<Langua
     if (board.name) {
         args.push('-board-name', board.name);
     }
+    if (typeof config.realTimeDiagnostics === 'boolean' && !config.realTimeDiagnostics) {
+        args.push('-no-real-time-diagnostics');
+    }
     if (flags && flags.length) {
         args.push(...flags);
     }

Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,7 @@ interface LanguageServerConfig {`
`27`	`27`	`readonly log?: boolean \| string;`
`28`	`28`	`readonly env?: any;`
`29`	`29`	`readonly flags?: string[];`
	`30`	`+ readonly realTimeDiagnostics?: boolean;`
`30`	`31`	`}`
`31`	`32`
`32`	`33`	`interface DebugConfig {`
`@@ -202,6 +203,9 @@ async function buildLanguageClient(config: LanguageServerConfig): Promise<Langua`
`202`	`203`	`if (board.name) {`
`203`	`204`	`args.push('-board-name', board.name);`
`204`	`205`	`}`
	`206`	`+ if (typeof config.realTimeDiagnostics === 'boolean' && !config.realTimeDiagnostics) {`
	`207`	`+ args.push('-no-real-time-diagnostics');`
	`208`	`+ }`
`205`	`209`	`if (flags && flags.length) {`
`206`	`210`	`args.push(...flags);`
`207`	`211`	`}`