# using curl:
# (make sure it is installed on your system!)
curl --retry 3 PING_URL