rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-31 20:52:13 +01:00
Code Issues Releases Activity

Change key from connection_timeout to connection_timeout_ms preferences

Browse Source
This commit is contained in:
Mattia Bertorello 2019-07-03 15:41:29 +02:00
parent a7d395f45e
commit 5dba31bfd7
No known key found for this signature in database
GPG Key ID: CE1FB2BE91770F24
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -40,7 +40,7 @@ public class HttpConnectionManager {
try { try {
connectTimeoutFromConfig = connectTimeoutFromConfig =
Integer.parseInt( Integer.parseInt(
PreferencesData.get("http.connection_timeout", "5000")); PreferencesData.get("http.connection_timeout_ms", "5000"));
} catch (NumberFormatException e) { } catch (NumberFormatException e) {
log.warn( log.warn(
"Cannot parse the http.connection_timeout configuration switch to default {} milliseconds", connectTimeoutFromConfig, e.getCause()); "Cannot parse the http.connection_timeout configuration switch to default {} milliseconds", connectTimeoutFromConfig, e.getCause());