blob: bfde7ac276974f8c529981aeda439c9e9e2e7ca2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- 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
+
|
