diff options
author | Andy Hayden <andyhayden1@gmail.com> | 2019-10-29 13:06:14 -0700 |
---|---|---|
committer | Ry Dahl <ry@tinyclouds.org> | 2019-10-29 16:06:14 -0400 |
commit | 49e04fb240ce700a6871d6b490536a879afd99f5 (patch) | |
tree | 6015f4ea285fff2f10f1971da562c5a345711eba /tools/http_server.py | |
parent | 0d41b10ade91039339173476848f7368b6dc0853 (diff) |
fix race condition in test http server (#3237)
Diffstat (limited to 'tools/http_server.py')
-rwxr-xr-x | tools/http_server.py | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/tools/http_server.py b/tools/http_server.py index 0a8212b82..76efab73b 100755 --- a/tools/http_server.py +++ b/tools/http_server.py @@ -178,20 +178,20 @@ def spawn(): while any(not s.thread.is_alive() for s in servers): sleep(0.01) try: - yield + print "ready" + yield servers finally: for s in servers: s.server.shutdown() def main(): - servers = (server(), redirect_server(), another_redirect_server(), - double_redirects_server(), inf_redirects_server()) - try: - while all(s.thread.is_alive() for s in servers): - sleep(10) - except KeyboardInterrupt: - pass + with spawn() as servers: + try: + while all(s.thread.is_alive() for s in servers): + sleep(1) + except KeyboardInterrupt: + pass sys.exit(1) |