platformio/platformio-core
1
0
Fork 1
mirror of https://github.com/platformio/platformio-core.git synced 2025-07-29 17:47:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix an issue with slow updating of PlatformIO Core packages on Windows

Browse Source
This commit is contained in:
Ivan Kravets
2019-02-19 20:12:07 +02:00
parent 639c086728
commit 00ba88911f
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
HISTORY.rst
View File

@ -7,6 +7,8 @@ PlatformIO 3.0
3.6.5 (2019-??-??)
~~~~~~~~~~~~~~~~~~
* Fixed an issue with slow updating of PlatformIO Core packages on Windows
3.6.4 (2019-01-23)
~~~~~~~~~~~~~~~~~~

5
platformio/managers/core.py
View File

@ -106,9 +106,10 @@ def update_core_packages(only_check=False, silent=False):
def shutdown_piohome_servers():
port = 8010
while port < 8100:
while port < 8050:
try:
requests.get("http://127.0.0.1:%d?__shutdown__=1" % port)
requests.get(
"http://127.0.0.1:%d?__shutdown__=1" % port, timeout=0.01)
except: # pylint: disable=bare-except
pass
port += 1