#!/bin/bash
# ping checker tool
# Quelle:
# https://stackoverflow.com/questions/18258364/ping-tool-to-check-if-server-is-online

TMP_FILE="/tmp/ping_checker_tool.tmp"
if [ -r $TMP_FILE ]; then
	    FAILS=`cat $TMP_FILE`
    else
	        FAILS=0
fi

SERVER="infosnow.ch"

ping -c 1 $SERVER >/dev/null 2>&1
if [ $? -ne 0 ] ; then #if ping exits nonzero...
	FAILS=$[FAILS + 1]
else
	FAILS=0
fi
if [ $FAILS -gt 5 ]; then
	FAILS=0
	dispoff.sh
fi
echo $FAILS > $TMP_FILE
