ci: Accept arbitrary curl arguments for polling

This commit is contained in:
Antoine Cotten
2020-10-16 21:59:33 +02:00
parent 95272b72f4
commit b13d73def4
4 changed files with 7 additions and 7 deletions

View File

@@ -83,7 +83,7 @@ function poll_ready {
local -a args=( '-s' '-D-' '-m3' '-w' '%{http_code}' "$url" )
if [ "$#" -ge 3 ]; then
args+=( '-u' "$3" )
args+=( ${@:3} )
fi
echo "curl arguments: ${args[*]}"