diff options
author | Andrey A. Chernov <ache@FreeBSD.org> | 2003-09-07 08:06:43 +0000 |
---|---|---|
committer | Andrey A. Chernov <ache@FreeBSD.org> | 2003-09-07 08:06:43 +0000 |
commit | 095f230336264bddd54c7ed2707e59c5b0fc9345 (patch) | |
tree | 6fed9ec586c66be4aa16305cdb4666c58fda7dc9 /mail/sentinel | |
parent | gnomemeeting2 is now just gnomemeeting. (diff) |
Only uncatchable signals can kill the milter accoding to docs, so use
-KILL
Notes
Notes:
svn path=/head/; revision=88671
Diffstat (limited to 'mail/sentinel')
-rw-r--r-- | mail/sentinel/files/000.sentinel.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mail/sentinel/files/000.sentinel.sh b/mail/sentinel/files/000.sentinel.sh index 3263f0b2ab49..0428f2e880f4 100644 --- a/mail/sentinel/files/000.sentinel.sh +++ b/mail/sentinel/files/000.sentinel.sh @@ -18,9 +18,11 @@ start) fi ;; stop) +# The libmilter documentation specifies that only +# uncatchable signals can kill the milter if [ -e ${SOCKET} ] then - killall sentinel + killall -KILL sentinel fi ;; *) |