diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 6764586897ae9fd43be19ad9c6f4cb8ce430c928..e938520403d68ab7a68d0a53c1b8517533c09561 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -732,7 +732,7 @@ def _start_port_server(port_server_port): print 'starting port_server' port_log = open('portlog.txt', 'w') port_server = subprocess.Popen( - ['python2.7', 'tools/run_tests/port_server.py', '-p', '%d' % port_server_port], + [sys.executable, 'tools/run_tests/port_server.py', '-p', '%d' % port_server_port], stderr=subprocess.STDOUT, stdout=port_log) # ensure port server is up