#!/bin/sh
# File  : ping_filers.sh
# By    : MaartenDeBoer.nl, 090611, 110124
# Subject       : Ping filers from $HOME/etc/filers

PGM="`basename $0`"
TMP="/tmp/${PGM}.$$"
LOG="$HOME/log/${PGM}.log"
FILERS="$HOME/etc/filers"

for FILER in `cat $FILERS | grep -v \^#`
do
  echo "${FILER} ..."
  ping -c 1 -W 1 ${FILER} 1> /dev/null 2>&1
  EC=${?}
  if [ ${EC} -lt 1 ]; then
    echo "${FILER} OK"
  else
    echo "${FILER} NOT ok (EC=${EC})"
  fi
done



exit