diff --git a/docs b/docs index 89630419..1666723f 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit 89630419d5ad6b5a176e33d614027da09eb4616f +Subproject commit 1666723f26e84933e43638250cbf51e9553627f7 diff --git a/platformio/util.py b/platformio/util.py index f09f7acb..b8fc8aa5 100644 --- a/platformio/util.py +++ b/platformio/util.py @@ -540,14 +540,15 @@ def get_api_result(url, params=None, data=None, auth=None, cache_valid=None): def internet_on(timeout=3): - host = "dl.bintray.com" - port = 443 - try: - socket.setdefaulttimeout(timeout) - socket.socket(socket.AF_INET, socket.SOCK_STREAM).connect((host, port)) - return True - except: # pylint: disable=bare-except - return False + socket.setdefaulttimeout(timeout) + for host in ("dl.bintray.com", "dl.platformio.org"): + try: + socket.socket(socket.AF_INET, socket.SOCK_STREAM).connect( + (host, 80)) + return True + except: # pylint: disable=bare-except + pass + return False def get_pythonexe_path():