Merge 9a4fb87d44 into 065fc7b715

tools/download_tool.py

@@ -122,20 +122,18 @@ def main() -> None:
     try:
         with urllib.request.urlopen(req) as response:
             download(url, response, output)
-    except urllib.error.URLError:
+    except urllib.error.URLError as e:
+        if str(e).find("CERTIFICATE_VERIFY_FAILED") == -1:
+            return
         try:
             import certifi
             import ssl
         except:
-            import sys
+            print("\"certifi\" module not found. Please install it using \"python -m pip install certifi\".")
-            import subprocess
+            return
-            
-            curr_py = sys.executable
-            subprocess.check_call([curr_py, '-m', 'pip', 'install', 'certifi', 'ssl'], stdout=subprocess.DEVNULL)
             
         with urllib.request.urlopen(req, context=ssl.create_default_context(cafile=certifi.where())) as response:
             download(url, response, output)
 
-
 if __name__ == "__main__":
     main()