From b285c3137a6a38ce504d96665b8d19f8e71e22f4 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Fri, 24 Apr 2020 16:25:02 +0300 Subject: [PATCH] Extend remote hosts with PlatformIO when checking internet connection --- platformio/util.py | 1 + 1 file changed, 1 insertion(+) diff --git a/platformio/util.py b/platformio/util.py index 9cda5ebf..6a664c49 100644 --- a/platformio/util.py +++ b/platformio/util.py @@ -365,6 +365,7 @@ def get_api_result(url, params=None, data=None, auth=None, cache_valid=None): PING_REMOTE_HOSTS = [ "140.82.118.3", # Github.com "35.231.145.151", # Gitlab.com + "88.198.170.159", # platformio.org "github.com", "platformio.org", ]