From 43fe9b21ee03267a1ae047397b49597d1f97f840 Mon Sep 17 00:00:00 2001
From: Akos Kitta <a.kitta@arduino.cc>
Date: Thu, 14 Jul 2022 16:42:31 +0200
Subject: [PATCH] Can start the LS without real-time diagnostics.

Ref: arduino/arduino-language-server#124

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
---
 package.json     | 2 +-
 src/extension.ts | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 1d4cfe7..58f3116 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
   "name": "vscode-arduino-tools",
   "private": true,
-  "version": "0.0.2-beta.3",
+  "version": "0.0.2-beta.4",
   "publisher": "arduino",
   "license": "Apache-2.0",
   "author": "Arduino SA",
diff --git a/src/extension.ts b/src/extension.ts
index 5e435ce..38fb3fa 100644
--- 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);
     }