Added external_curl provider as default. Allowing 1 retry. Documentat…

…ion of explanation/limitations.
atrull · Nov 19, 2023 · 0cc084c · 0cc084c
1 parent b0b58ff
commit 0cc084c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/external_curl.sh b/external_curl.sh
@@ -0,0 +1,8 @@
+# Exit if any of the intermediate steps fail
+set -e
+
+export BODY=`curl -s --retry $2 --connect-timeout $3 $1 || echo -n noresponse`
+# Safely produce a JSON object containing the result value.
+# jq will ensure that the value is properly quoted
+# and escaped to produce a valid JSON string.
+jq -n --arg BODY "$BODY" '{"body":$BODY}'