2016-05-24 13:55:51 +03:00

6 lines
125 B
Plaintext

# using curl:
# (make sure it is installed on your system!)
curl --retry 3 PING_URL
# using wget:
wget PING_URL -O /dev/null