From 143a522920e60f80fda682a17387569af04af45f Mon Sep 17 00:00:00 2001 From: Masen Furer Date: Fri, 20 Dec 2024 17:50:25 -0800 Subject: [PATCH] woops --- scripts/integration.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/integration.sh b/scripts/integration.sh index 7095f72d6..41d3051d0 100755 --- a/scripts/integration.sh +++ b/scripts/integration.sh @@ -34,4 +34,4 @@ if [ -f /proc/$pid/winpid ]; then echo "Windows detected, passing winpid $pid to port waiter" fi -python scripts/wait_for_listening_port.py $check_ports --timeout=900 --server-pid "$pid" $WAIT_FOR_LISTENING_PORT_OPTS +python scripts/wait_for_listening_port.py $check_ports --timeout=900 --server-pid "$pid" $WAIT_FOR_LISTENING_PORT_ARGS