From 455306442cd599c5a5750a70053b1a5f47b08538 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 19 Feb 2015 17:22:58 +0100 Subject: [PATCH] change base port to make 32/64 simultenaous build easier --- tests/helper/server.inc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/helper/server.inc b/tests/helper/server.inc index 3d49a85..265a861 100644 --- a/tests/helper/server.inc +++ b/tests/helper/server.inc @@ -11,7 +11,7 @@ if ($php) { } function serve($cb) { - foreach (range(8000, 9000) as $port) { + foreach (range(8000+PHP_INT_SIZE, 9000) as $port) { if (($server = @stream_socket_server("tcp://localhost:$port"))) { fprintf(STDERR, "%s\n", $port); do { @@ -50,7 +50,7 @@ function server($handler, $cb) { function nghttpd($cb) { $spec = array(array("pipe","r"), array("pipe","w"), array("pipe","w")); - foreach (range(8000, 9000) as $port) { + foreach (range(8000+PHP_INT_SIZE, 9000) as $port) { $comm = "exec nghttpd -d html $port http2.key http2.crt"; if (($proc = proc_open($comm, $spec, $pipes, __DIR__))) { $stdin = $pipes[0]; -- 2.30.2