Update PIO Remote to 2.5.5

2019-09-27 19:36:49 +03:00
parent 9a3dcd3daa
commit 3dcf1784fb
2 changed files with 2 additions and 1 deletions
@@ -366,6 +366,7 @@ def get_api_result(url, params=None, data=None, auth=None, cache_valid=None):

 PING_INTERNET_IPS = [
    "192.30.253.113",  # github.com
+    "31.28.1.238",  # dl.platformio.org
    "193.222.52.25",  # dl.platformio.org
 ]