Use HTTP mirror for Package Manager in case with SSL errors // Resolve #645

HISTORY.rst

@@ -7,6 +7,8 @@ PlatformIO 2.0
 2.9.2 (2016-??-??)
 ~~~~~~~~~~~~~~~~~~
 
+* Use HTTP mirror for Package Manager in case with SSL errors
+  (`issue #645 <https://github.com/platformio/platformio/issues/645>`_)
 * Fixed bug with ``env_default`` when ``pio run -e`` is used
 
 2.9.1 (2016-04-30)

platformio/pkgmanager.py

@@ -102,6 +102,7 @@ class PackageManager(object):
             dlpath = self.download(info['url'], pkg_dir, info['sha1'])
         except (requests.exceptions.ConnectionError,
                 requests.exceptions.ChunkedEncodingError,
+                requests.exceptions.SSLError,
                 exception.FDUnrecognizedStatusCode, StopIteration):
             if not info['url'].startswith("http://dl.platformio.org"):
                 dlpath = self.download(