# 
# script to stop proxy services for the
# proxy server running in the immediate 
# directory.
#
echo "Stopping proxy service"

if [ -f pidfile ] 
then

        kill `cat pidfile`

else

        echo "ERROR - missing pid file"
        echo "NOT stopping proxy services"

fi

# end of script
