diff options
| -rw-r--r-- | meta/lib/oe/terminal.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/meta/lib/oe/terminal.py b/meta/lib/oe/terminal.py index 3c6220dfce..714772f741 100644 --- a/meta/lib/oe/terminal.py +++ b/meta/lib/oe/terminal.py @@ -221,6 +221,7 @@ def spawn(name, sh_cmd, title=None, env=None, d=None): # to a file using a "phonehome" wrapper script, then monitor the pid # until it exits. import tempfile + import time pidfile = tempfile.NamedTemporaryFile(delete = False).name try: sh_cmd = "oe-gnome-terminal-phonehome " + pidfile + " " + sh_cmd @@ -232,13 +233,13 @@ def spawn(name, sh_cmd, title=None, env=None, d=None): raise ExecutionError(sh_cmd, pipe.returncode, output) while os.stat(pidfile).st_size <= 0: + time.sleep(0.01) continue with open(pidfile, "r") as f: pid = int(f.readline()) finally: os.unlink(pidfile) - import time while True: try: os.kill(pid, 0) |