#!/opt/bin/bash
echo "content-type: text/plain"
echo
echo
kill -9 `cat server.cookie` 2>stoperror.log 
rm -f server.cookie
echo `date`>> tracer.server
echo "Process killed"
echo