From cefbf25280aad4ea11f9498fdbf9538f27acedf9 Mon Sep 17 00:00:00 2001
From: tobozo <tobozo@users.noreply.github.com>
Date: Mon, 16 Jan 2017 11:13:19 +0100
Subject: [PATCH] (Real) fix for cygwinless win10 TLS error (#126)

Added a new requirement ( pip install request ) and some logic to get it working, I won't blame you if you reject this PR but this is what made it work on my machine
---
 tools/get.py | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/tools/get.py b/tools/get.py
index a13a04e2..ca6b7170 100755
--- a/tools/get.py
+++ b/tools/get.py
@@ -15,6 +15,7 @@ import sys
 import tarfile
 import zipfile
 import re
+import requests
 if sys.version_info[0] == 3:
     from urllib.request import urlretrieve
 else:
@@ -83,12 +84,10 @@ def get_tool(tool):
             try:
                 urlretrieve(url, local_path, report_progress)
             except Exception,e:
-                print()
-                print("!!! TLS Failed !!! Download the following file manually and put it in the 'dist' folder:")
-                print(url)
-                print("... then run this script again.")
-                print()
-                raise Exception('Aborting')
+                r = requests.get(url)
+                f = open(local_path, 'wb')
+                f.write(r.content)
+                f.close()
         sys.stdout.write("\rDone\n")
         sys.stdout.flush()
     else: