Server bug fix: Work around bug when stopping server
* init.d-mandos (do_stop): Work around SIGTERM ignoring bug by doing "mandos-ctl >/dev/null 2>&1" after sending signal. * mandos.service (ExecStop): New; set to "/bin/kill -TERM $MAINPID ; /usr/sbin/mandos-ctl >/dev/null 2>&1" to work around SIGTERM ignoring bug.
# Reload D-Bus daemon to be aware of the _mandos user & group
54
if [ -x /etc/init.d/dbus ]; then
55
invoke-rc.d dbus force-reload || :
56
fi
57
if ! dpkg-statoverride --list "/var/lib/mandos" >/dev/null \
58
2>&1; then
59
chown _mandos:_mandos /var/lib/mandos
60
chmod u=rwx,go= /var/lib/mandos
61
fi
62
63
if dpkg --compare-versions "$2" eq "1.8.0-1" \
64
|| dpkg --compare-versions "$2" eq "1.8.0-1~bpo9+1"; then
65
if grep --quiet --regexp='^[[:space:]]*key_id[[:space:]]*=[[:space:]]*[Ee]3[Bb]0[Cc]44298[Ff][Cc]1[Cc]149[Aa][Ff][Bb][Ff]4[Cc]8996[Ff][Bb]92427[Aa][Ee]41[Ee]4649[Bb]934[Cc][Aa]495991[Bb]7852[Bb]855[[:space:]]*$' /etc/mandos/clients.conf; then