From d72f3476b4cd7d64280fbcdb73c8a15e99f66aa5 Mon Sep 17 00:00:00 2001
From: Nathan Gass
Date: Mon, 20 Nov 2023 18:21:37 +0100
Subject: use random port to avoid races

---
 test/it_url_server.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'test/it_url_server.php')

diff --git a/test/it_url_server.php b/test/it_url_server.php
index b113be1..c832ee5 100644
--- a/test/it_url_server.php
+++ b/test/it_url_server.php
@@ -1,7 +1,8 @@
 <?php
+$host = 'localhost:' . rand(8000,8060);
 $server = proc_open(
-	'php -S localhost:8000 -q ' . dirname($_SERVER['PHP_SELF']) . '/it_url.testserver.php',
-	array(0 => fopen('/dev/null', 'r'), 1 => fopen('/dev/null', 'w'), 2 => array('pipe', 'w')),
+	"php -S $host -q " . dirname($_SERVER['PHP_SELF']) . '/it_url.testserver.php',
+	array(0 => it::fopen('/dev/null', 'r'), 1 => it::fopen('/dev/null', 'w'), 2 => array('pipe', 'w')),
 	$pipes
 );
 register_shutdown_function(
-- 
cgit v1.2.3