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