#! /bin/sh

PIDFILE=/var/run/pkspxy.pid

if [ -f $PIDFILE ]
then
    if ! kill -USR1 `cat $PIDFILE` 2> /dev/null
    then
	rm -f $PIDFILE
    fi
fi
