mirror of
https://github.com/codeninjasllc/discourse.git
synced 2025-02-25 07:54:11 -05:00
Better way to retry curl
This commit is contained in:
parent
85570ddc77
commit
93e3a58982
1 changed files with 2 additions and 6 deletions
|
@ -5,10 +5,6 @@ if [ -f $FILE ]
|
||||||
then
|
then
|
||||||
echo "File $FILE exists..."
|
echo "File $FILE exists..."
|
||||||
else
|
else
|
||||||
curl localhost
|
curl --retry 5 localhost
|
||||||
curl localhost
|
|
||||||
curl localhost
|
|
||||||
curl localhost
|
|
||||||
curl localhost
|
|
||||||
touch /tmp/curl_done
|
touch /tmp/curl_done
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in a new issue