--- mf-reset.orig Thu Mar 8 13:46:07 2001 +++ mf-reset Tue Dec 17 17:08:38 2002 @@ -24,9 +24,9 @@ fi LOGFILE="$WORK_DIR/mail-filter.log" -FILTER_PID=`ps -ef | grep $FILTER | grep -v $0 \ +FILTER_PID=`ps -af | grep $FILTER | grep -v $0 \ | grep -v 'mf-start' | grep -v 'grep' \ - | awk '{print $2}'` + | awk '{print $1}'` if [ -n "$FILTER_PID" ] then kill -USR1 $FILTER_PID @@ -43,4 +43,5 @@ echo "$0: Could not determine PID for $BN_FILTER" echo "$BN_FILTER may not be running." fi +