From 5dba31bfd7f37eb269c4da504d5806d5bb1b4909 Mon Sep 17 00:00:00 2001
From: Mattia Bertorello <m.bertorello@arduino.cc>
Date: Wed, 3 Jul 2019 15:41:29 +0200
Subject: [PATCH] Change key from connection_timeout to connection_timeout_ms
 preferences

---
 .../src/cc/arduino/utils/network/HttpConnectionManager.java     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java b/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java
index fd62bc0effa..850580e155b 100644
--- a/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java
+++ b/arduino-core/src/cc/arduino/utils/network/HttpConnectionManager.java
@@ -40,7 +40,7 @@ public class HttpConnectionManager {
     try {
       connectTimeoutFromConfig =
         Integer.parseInt(
-          PreferencesData.get("http.connection_timeout", "5000"));
+          PreferencesData.get("http.connection_timeout_ms", "5000"));
     } catch (NumberFormatException e) {
       log.warn(
         "Cannot parse the http.connection_timeout configuration switch to default {} milliseconds", connectTimeoutFromConfig, e.getCause());