#!/bin/sh
#
# $Id: lifetime,v 1.2 1994/02/10 21:46:20 ejb Exp $
# $Source: /home/ejb/scripts/RCS/lifetime,v $
# $Author: ejb $
#

pid=$1

tmpfile=/tmp/lifetime.$$

while [ ! -f $tmpfile ]; do
   cp /dev/null $tmpfile;
   sleep 50;
   if [ -f $tmpfile ]; then
      echo "WARNING: REMOVE $tmpfile to prevent killing of $pid";
   fi;
   sleep 10;
   if [ -f $tmpfile ]; then
      echo "Killing $pid";
      kill -KILL $pid;
   fi;
done

rm -f $tmpfile
exit 0