# using curl (10 second timeout, retry up to 5 times):
curl -m 10 --retry 5 PING_URL