From ca34da51aa807203ebab6672cf8ea2ddcaaabec2 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Thu, 22 Mar 2018 17:37:51 +0200 Subject: [PATCH] PIO Home: sort folders by name (ignore case), catch ServerError exceptions // Resolve #1454 Resolve #1302 --- platformio/managers/core.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platformio/managers/core.py b/platformio/managers/core.py index 109bde4a..f4c1a085 100644 --- a/platformio/managers/core.py +++ b/platformio/managers/core.py @@ -23,7 +23,7 @@ from platformio.managers.package import PackageManager CORE_PACKAGES = { "contrib-piohome": ">=0.9.1,<2", "contrib-pysite": ">=0.2.0,<2", - "tool-pioplus": ">=1.1.1,<2", + "tool-pioplus": ">=1.1.2,<2", "tool-unity": "~1.20302.1", "tool-scons": "~2.20501.4" }