Shutdown PIO Home server before updating tool-pioplus; Update tool-pioplus to 1.4.11

This commit is contained in:
Ivan Kravets
2018-10-25 13:44:41 +03:00
parent 7cc4e8ce15
commit 3507290a20
3 changed files with 17 additions and 14 deletions

View File

@@ -15,7 +15,6 @@
import sys
import click
import requests
from platformio.managers.core import pioplus_call
@@ -30,13 +29,3 @@ from platformio.managers.core import pioplus_call
@click.option("--no-open", is_flag=True)
def cli(*args, **kwargs): # pylint: disable=unused-argument
pioplus_call(sys.argv[1:])
def shutdown_servers():
port = 8010
while port < 9000:
try:
requests.get("http://127.0.0.1:%d?__shutdown__=1" % port)
port += 1
except: # pylint: disable=bare-except
return