here too

diff --git a/tests/helper/server.inc b/tests/helper/server.inc
index e3b7af6a956f4b3b58a5b2a159e0396008c0f977..506e08313b2c70f71a97f494bb5097171bc7a1f0 100644 (file)
--- a/tests/helper/server.inc
+++ b/tests/helper/server.inc
@@ -54,7 +54,8 @@ function server($handler, $cb) {
 
 function nghttpd($cb) {
        $spec = array(array("pipe","r"), array("pipe","w"), array("pipe","w"));
-       foreach (range(8000+PHP_INT_SIZE, 9000) as $port) {
+       $offset = rand(0,2000);
+       foreach (range(8000+$offset, 9000+$offset) as $port) {
                $comm = "exec nghttpd -d html $port http2.key http2.crt";
                if (($proc = proc_open($comm, $spec, $pipes, __DIR__))) {
                        $stdin = $pipes[0];