From c16b9f5f26107a4b7bca87c87057129ab418261e Mon Sep 17 00:00:00 2001 From: Cristian Maglie Date: Mon, 20 Dec 2021 12:55:10 +0100 Subject: Use PreferencesData.getInteger when applicable --- .../src/cc/arduino/utils/network/HttpConnectionManager.java | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java b/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java index 5c52fa6fd..acb754d50 100644 --- a/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java +++ b/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java @@ -65,9 +65,7 @@ public class HttpConnectionManager { userAgent = PreferencesData.get("http.user_agent", defaultUserAgent); int connectTimeoutFromConfig = 5000; try { - connectTimeoutFromConfig = - Integer.parseInt( - PreferencesData.get("http.connection_timeout_ms", "5000")); + connectTimeoutFromConfig = PreferencesData.getInteger("http.connection_timeout_ms", 5000); } catch (NumberFormatException e) { System.err.println("Error parsing http.connection_timeout_ms config: " + e.getMessage()); } @@ -75,9 +73,7 @@ public class HttpConnectionManager { // Set by default 20 max redirect to follow int maxRedirectNumberConfig = 20; try { - maxRedirectNumberConfig = - Integer.parseInt( - PreferencesData.get("http.max_redirect_number", "20")); + maxRedirectNumberConfig = PreferencesData.getInteger("http.max_redirect_number", 20); } catch (NumberFormatException e) { System.err.println("Error parsing http.max_redirect_number config: " + e.getMessage()); } -- cgit v1.2.3