diff options
author | 2015-09-24 15:06:52 -0700 | |
---|---|---|
committer | 2015-09-24 15:06:52 -0700 | |
commit | 87cec156657c004779fbaf65902f5d8213001796 (patch) | |
tree | ec906800e496dc3bc9f454d4bef55d5ea6f0fa56 /tools | |
parent | 3dd3ba1efaa4dbcacec72d74bff8eec28f715efc (diff) | |
parent | 2c6206c32d09453a49723bae051fdd688b902265 (diff) |
Merge branch 'master' into block_annotate and fix conflict in resolve_address_posix.c
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/run_tests/run_tests.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index e971aaf9c3..d271137ca1 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -727,7 +727,10 @@ def _start_port_server(port_server_port): while True: if waits > 10: port_server.kill() + if port_server.poll() is not None: print "port_server failed to start" + port_log = open('portlog.txt', 'r').read() + print port_log sys.exit(1) try: urllib2.urlopen('http://localhost:%d/get' % port_server_port, |