rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00
Code Issues Releases Activity

Use PreferencesData.getInteger when applicable

Browse Source
This commit is contained in:
Cristian Maglie 2021-12-20 12:55:10 +01:00
parent 66a973af18
commit c16b9f5f26
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java
View File

@ -65,9 +65,7 @@ public class HttpConnectionManager {
userAgent = PreferencesData.get("http.user_agent", defaultUserAgent); userAgent = PreferencesData.get("http.user_agent", defaultUserAgent);
int connectTimeoutFromConfig = 5000; int connectTimeoutFromConfig = 5000;
try { try {
connectTimeoutFromConfig = connectTimeoutFromConfig = PreferencesData.getInteger("http.connection_timeout_ms", 5000);
Integer.parseInt(
PreferencesData.get("http.connection_timeout_ms", "5000"));
} catch (NumberFormatException e) { } catch (NumberFormatException e) {
System.err.println("Error parsing http.connection_timeout_ms config: " + e.getMessage()); 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 // Set by default 20 max redirect to follow
int maxRedirectNumberConfig = 20; int maxRedirectNumberConfig = 20;
try { try {
maxRedirectNumberConfig = maxRedirectNumberConfig = PreferencesData.getInteger("http.max_redirect_number", 20);
Integer.parseInt(
PreferencesData.get("http.max_redirect_number", "20"));
} catch (NumberFormatException e) { } catch (NumberFormatException e) {
System.err.println("Error parsing http.max_redirect_number config: " + e.getMessage()); System.err.println("Error parsing http.max_redirect_number config: " + e.getMessage());
} }