diff options
author | 2015-09-25 16:16:32 -0700 | |
---|---|---|
committer | 2015-09-25 16:16:32 -0700 | |
commit | 9d17f09ebe294e1d727c194f45da0576b0b4b1dc (patch) | |
tree | fd41ceafaa1c7bbcba10760d2e18b52fb07fedaf /tools/run_tests | |
parent | b09a8759174531790b38cc67079e0b836a519c0a (diff) | |
parent | 8287523dafd1697d29d0abf942b097fd3ca0c56f (diff) |
Merge pull request #3489 from ctiller/portlog
Retry checking port_server on socket timeout errors
Diffstat (limited to 'tools/run_tests')
-rwxr-xr-x | tools/run_tests/run_tests.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index ac5eef663e..35c1672fef 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -40,6 +40,7 @@ import os import platform import random import re +import socket import subprocess import sys import time @@ -736,6 +737,10 @@ def _start_port_server(port_server_port): urllib2.urlopen('http://localhost:%d/get' % port_server_port, timeout=1).read() break + except socket.timeout: + print "waiting for port_server" + time.sleep(0.5) + waits += 1 except urllib2.URLError: print "waiting for port_server" time.sleep(0.5) |