diff --git a/HISTORY.rst b/HISTORY.rst index e0432a6d..394c941a 100644 --- a/HISTORY.rst +++ b/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 `_) * Fixed bug with ``env_default`` when ``pio run -e`` is used 2.9.1 (2016-04-30) diff --git a/platformio/pkgmanager.py b/platformio/pkgmanager.py index 0c7bdce7..33f74bb7 100644 --- a/platformio/pkgmanager.py +++ b/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(