mirror of
https://github.com/codeninjasllc/discourse.git
synced 2025-05-02 17:04:02 -04:00
Merge pull request #2638 from MiteshShah/patch-1
Better way to retry curl
This commit is contained in:
commit
e523006b3b
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…
Add table
Add a link
Reference in a new issue