1 --- /etc/init.d/functions~ 2018-09-07 16:57:25.000000000 +0300
2 +++ /etc/init.d/functions 2018-09-07 17:02:41.443552246 +0300
4 # 3. kill with KILL, wait $waitretry
5 retry="--retry ${sig#-}/${delay}/${sig#-}/${waittime}/KILL/${waitretry}"
7 - /sbin/start-stop-daemon -q --stop \
9 - ${waitname:+--name $waitname} \
11 - ${pidfile:+--pidfile $pidfile}
14 + # expand if pidfile has multiple pids
18 + for pid in $(cat $pidfile); do
19 + /sbin/start-stop-daemon -q --stop \
21 + ${waitname:+--name $waitname} \
23 + --pid $pid || result=$?
26 if [ "$result" -eq 0 ]; then