diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 3798bf4e6504c6989d90ceea49aa29ee2a870b52..974d7a2960b63e31ec88a73fa7c1cc2ac74e028f 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -1055,7 +1055,7 @@ def _start_port_server(port_server_port): try: version = int(urllib2.urlopen( 'http://localhost:%d/version_number' % port_server_port, - timeout=1).read()) + timeout=10).read()) print 'detected port server running version %d' % version running = True except Exception as e: