# using curl:
curl --retry 3 PING_URL

# using wget:
wget PING_URL -O /dev/null