From 69b4dc9fce845f58d8134ce22036ec4986744d45 Mon Sep 17 00:00:00 2001
From: Masen Furer <m_github@0x26.net>
Date: Wed, 2 Aug 2023 10:42:52 -0700
Subject: [PATCH] scripts/integration: fix mismerge -- wait for $check_ports
 (#1504)

---
 scripts/integration.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/integration.sh b/scripts/integration.sh
index b2d42a505..f01f73817 100755
--- a/scripts/integration.sh
+++ b/scripts/integration.sh
@@ -33,4 +33,4 @@ if [ -f /proc/$pid/winpid ]; then
   echo "Windows detected, passing winpid $pid to port waiter"
 fi
 
-python scripts/wait_for_listening_port.py 3000 8000 --timeout=600 --server-pid "$pid"
+python scripts/wait_for_listening_port.py $check_ports --timeout=600 --server-pid "$pid"