From 75105e18ba2d400b6a1f111bdce6fb9eba9977fc Mon Sep 17 00:00:00 2001 From: Ivan Kravets Date: Thu, 25 Oct 2018 13:48:47 +0300 Subject: [PATCH] Wait 1 seconds on Windows when PIO Home shuts down --- platformio/managers/core.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/platformio/managers/core.py b/platformio/managers/core.py index 3da9e4ec..0427ffec 100644 --- a/platformio/managers/core.py +++ b/platformio/managers/core.py @@ -16,6 +16,7 @@ import os import subprocess import sys from os.path import dirname, join +from time import sleep import requests @@ -96,6 +97,8 @@ def update_core_packages(only_check=False, silent=False): if not silent or pm.outdated(pkg_dir, requirements): if name == "tool-pioplus" and not only_check: shutdown_piohome_servers() + if "windows" in util.get_systype(): + sleep(1) pm.update(name, requirements, only_check=only_check) return True