# using wget (10 second timeout, retry up to 5 times):
wget PING_URL -T 10 -t 5 -O /dev/null