From 00ba88911f53c8b21439293529acfe7e173390a6 Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Tue, 19 Feb 2019 20:12:07 +0200 Subject: [PATCH] Fix an issue with slow updating of PlatformIO Core packages on Windows --- HISTORY.rst | 2 ++ platformio/managers/core.py | 5 +++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/HISTORY.rst b/HISTORY.rst index a2e01ada..2474c540 100644 --- a/HISTORY.rst +++ b/HISTORY.rst @@ -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) ~~~~~~~~~~~~~~~~~~ diff --git a/platformio/managers/core.py b/platformio/managers/core.py index 2a516f04..34831b48 100644 --- a/platformio/managers/core.py +++ b/platformio/managers/core.py @@ -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