Merge pull request #124 from arduino/flag_to_disable_real_time_errors

Added flag to disable real-time PublishDiagnostics push

Author: cmaglie

Diff for: ls/ls.go

@@ -60,6 +60,7 @@ type Config struct {
 	FormatterConf                   *paths.Path
 	EnableLogging                   bool
 	SkipLibrariesDiscoveryOnRebuild bool
+	DisableRealTimeDiagnostics      bool
 }
 
 var yellow = color.New(color.FgHiYellow)
@@ -1191,6 +1192,11 @@ func (ls *INOLanguageServer) CopyFullBuildResults(logger jsonrpc.FunctionLogger,
 }
 
 func (ls *INOLanguageServer) PublishDiagnosticsNotifFromClangd(logger jsonrpc.FunctionLogger, clangParams *lsp.PublishDiagnosticsParams) {
+	if ls.config.DisableRealTimeDiagnostics {
+		logger.Logf("Ignored by configuration")
+		return
+	}
+
 	ls.readLock(logger, false)
 	defer ls.readUnlock(logger)
 

Diff for: main.go

@@ -53,6 +53,9 @@ func main() {
 	skipLibrariesDiscoveryOnRebuild := flag.Bool(
 		"skip-libraries-discovery-on-rebuild", false,
 		"Skip libraries discovery on rebuild, it will make rebuilds faster but it will fail if the used libraries changes.")
+	noRealTimeDiagnostics := flag.Bool(
+		"no-real-time-diagnostics", false,
+		"Disable real time diagnostics")
 	flag.Parse()
 
 	if *loggingBasePath != "" {
@@ -123,6 +126,7 @@ func main() {
 		CliDaemonAddress:                *cliDaemonAddress,
 		CliInstanceNumber:               *cliDaemonInstanceNumber,
 		SkipLibrariesDiscoveryOnRebuild: *skipLibrariesDiscoveryOnRebuild,
+		DisableRealTimeDiagnostics:      *noRealTimeDiagnostics,
 	}
 
 	stdio := streams.NewReadWriteCloser(os.Stdin, os.Stdout)