summaryrefslogtreecommitdiff
path: root/tools/http_server.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/http_server.py')
-rwxr-xr-xtools/http_server.py16
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)