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): | |||
| 221 | # to a file using a "phonehome" wrapper script, then monitor the pid | 221 | # to a file using a "phonehome" wrapper script, then monitor the pid |
| 222 | # until it exits. | 222 | # until it exits. |
| 223 | import tempfile | 223 | import tempfile |
| 224 | import time | ||
| 224 | pidfile = tempfile.NamedTemporaryFile(delete = False).name | 225 | pidfile = tempfile.NamedTemporaryFile(delete = False).name |
| 225 | try: | 226 | try: |
| 226 | sh_cmd = "oe-gnome-terminal-phonehome " + pidfile + " " + sh_cmd | 227 | sh_cmd = "oe-gnome-terminal-phonehome " + pidfile + " " + sh_cmd |
| @@ -232,13 +233,13 @@ def spawn(name, sh_cmd, title=None, env=None, d=None): | |||
| 232 | raise ExecutionError(sh_cmd, pipe.returncode, output) | 233 | raise ExecutionError(sh_cmd, pipe.returncode, output) |
| 233 | 234 | ||
| 234 | while os.stat(pidfile).st_size <= 0: | 235 | while os.stat(pidfile).st_size <= 0: |
| 236 | time.sleep(0.01) | ||
| 235 | continue | 237 | continue |
| 236 | with open(pidfile, "r") as f: | 238 | with open(pidfile, "r") as f: |
| 237 | pid = int(f.readline()) | 239 | pid = int(f.readline()) |
| 238 | finally: | 240 | finally: |
| 239 | os.unlink(pidfile) | 241 | os.unlink(pidfile) |
| 240 | 242 | ||
| 241 | import time | ||
| 242 | while True: | 243 | while True: |
| 243 | try: | 244 | try: |
| 244 | os.kill(pid, 0) | 245 | os.kill(pid, 0) |
