From 54ca2235cc0da470cd4d6b42a6c1b560409cb5c8 Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Fri, 15 Mar 2019 14:15:50 +0100 Subject: [PATCH] pluggable discovery: Debugging messages under 'discovery.debug' preference --- .../src/cc/arduino/packages/DiscoveryManager.java | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/arduino-core/src/cc/arduino/packages/DiscoveryManager.java b/arduino-core/src/cc/arduino/packages/DiscoveryManager.java index b344009db..30f2f1d1d 100644 --- a/arduino-core/src/cc/arduino/packages/DiscoveryManager.java +++ b/arduino-core/src/cc/arduino/packages/DiscoveryManager.java @@ -74,13 +74,17 @@ public class DiscoveryManager { continue; } try { - System.out.println("found discovery: " + discoveryName + " -> " + pattern); - System.out.println("with preferencess -> " + discoveryPrefs); + if (PreferencesData.getBoolean("discovery.debug")) { + System.out.println("found discovery: " + discoveryName + " -> " + pattern); + System.out.println("with preferencess -> " + discoveryPrefs); + } pattern = StringReplacer.replaceFromMapping(pattern, PreferencesData.getMap()); String[] cmd = StringReplacer.formatAndSplit(pattern, discoveryPrefs); discoverers.add(new PluggableDiscovery(discoveryName, cmd)); } catch (Exception e) { - System.out.println(format(tr("Could not start discovery '{0}': {1}"), discoveryName, e.getMessage())); + if (PreferencesData.getBoolean("discovery.debug")) { + System.out.println(format(tr("Could not start discovery '{0}': {1}"), discoveryName, e.getMessage())); + } } } }