From ac10a73f60eb2adc2a78d8e8532c140a6c8cc93d Mon Sep 17 00:00:00 2001 From: MatteoPologruto Date: Wed, 19 Apr 2023 11:11:46 +0200 Subject: [PATCH] Override default pluggable monitor for `serial` protocol --- arduino/cores/packagemanager/loader.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arduino/cores/packagemanager/loader.go b/arduino/cores/packagemanager/loader.go index 462576255ab..2644a9f22e2 100644 --- a/arduino/cores/packagemanager/loader.go +++ b/arduino/cores/packagemanager/loader.go @@ -315,7 +315,7 @@ func (pm *Builder) loadPlatformRelease(platform *cores.PlatformRelease, path *pa return fmt.Errorf(tr("loading %[1]s: %[2]s"), platformTxtLocalPath, err) } - if platform.Properties.SubTree("pluggable_discovery").Size() > 0 { + if platform.Properties.SubTree("pluggable_discovery").Size() > 0 || platform.Properties.SubTree("pluggable_monitor").Size() > 0 { platform.PluggableDiscoveryAware = true } else { platform.Properties.Set("pluggable_discovery.required.0", "builtin:serial-discovery")