#! /bin/sh

prid=$1
try=0

while [ 1 ]; do
/bin/kill -0 $prid > /dev/null 2>&1
st=$?
if [ X"$st" != X"0" ]; then
  # may be "no such pid"
  exit 0
fi
let try++
if [ $try -gt 10 ]; then
  kill -9 $prid
else
#  echo still living $try $prid ...
  sleep 1
fi
done


