#!/bin/bash
#
# Wrapper to kill stalled wget and restart
#	1. invoke Fedora.wget.iso.sh  in an infinite loop
#	2. run this wrapper to kill the stalled wget 
#
# 26-Dec-08 amo Date-of-Birth
#
#
while [ 1 ] ;
do
       ps fauxw | grep Fedora.wget.iso.sh | grep wget | grep -iv grep | awk '{ print $2 }'
  pid=`ps fauxw | grep Fedora.wget.iso.sh | grep wget | grep -iv grep | awk '{ print $2 }' `
  #
  echo "#"
  if [ -z "$pid" ];
  then
    echo "# ERROR: no wget running "
  else
    #
    echo '#!/bin/bash' > /tmp/at.job.sh
    echo "kill -9 $pid" > /tmp/at.job.sh
    chmod 755 /tmp/at.job.sh
    #
    # kill wget in 1 minute
    # ---------------------------------------
          at now + 2 minutes < /tmp/at.job.sh
    cmd=" at now + 2 minutes < /tmp/at.job.sh "
    echo "# $cmd"
  fi
  #
  # wait 5min and check for stalled wget again
  sleep 300
  #
done
#
# End of file