scripts/integration: fix mismerge -- wait for $check_ports (#1504)

This commit is contained in:
Masen Furer 2023-08-02 10:42:52 -07:00 committed by GitHub
parent 919f239168
commit 69b4dc9fce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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"