From 3dcf1784fb1db0a0dee20ec50b63df73e41b5f01 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Fri, 27 Sep 2019 19:36:49 +0300 Subject: [PATCH] Update PIO Remote to 2.5.5 --- platformio/managers/core.py | 2 +- platformio/util.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/platformio/managers/core.py b/platformio/managers/core.py index ee59e36b..8c6227fa 100644 --- a/platformio/managers/core.py +++ b/platformio/managers/core.py @@ -26,7 +26,7 @@ from platformio.project.config import ProjectConfig CORE_PACKAGES = { "contrib-piohome": "^2.3.2", "contrib-pysite": "~2.%d%d.190418" % (sys.version_info[0], sys.version_info[1]), - "tool-pioplus": "^2.5.2", + "tool-pioplus": "^2.5.5", "tool-unity": "~1.20403.0", "tool-scons": "~2.20501.7" if PY2 else "~3.30101.0", "tool-cppcheck": "~1.189.0", diff --git a/platformio/util.py b/platformio/util.py index cff14277..48f679c2 100644 --- a/platformio/util.py +++ b/platformio/util.py @@ -366,6 +366,7 @@ def get_api_result(url, params=None, data=None, auth=None, cache_valid=None): PING_INTERNET_IPS = [ "192.30.253.113", # github.com + "31.28.1.238", # dl.platformio.org "193.222.52.25", # dl.platformio.org ]