Switch to SSL PlatformIO API

2016-08-25 22:57:52 +03:00
parent 012d33146c
commit 8cc54bf9be
7 changed files with 29 additions and 2 deletions
--- a/platformio/managers/platform.py
+++ b/platformio/managers/platform.py
@@ -32,7 +32,8 @@ class PlatformManager(BasePkgManager):
    def __init__(self, package_dir=None, repositories=None):
        if not repositories:
            repositories = [
-                "https://dl.platformio.org/platforms/manifest.json"
+                "{0}://dl.platformio.org/platforms/manifest.json".format(
+                    "http" if app.get_setting("disable_ssl") else "https")
            ]
        BasePkgManager.__init__(self, package_dir or
                                join(util.get_home_dir(), "platforms"),