From aca646e6b9af078c4362ce5f99686e06fc1280ba Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Wed, 4 May 2016 15:50:00 +0300
Subject: [PATCH] Use HTTP mirror for Package Manager in case with SSL errors
 // Resolve #645

---
 HISTORY.rst              | 2 ++
 platformio/pkgmanager.py | 1 +
 2 files changed, 3 insertions(+)

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 <https://github.com/platformio/platformio/issues/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(