From ad1d603d9e9a813e697c267d29fefd00fee56ae7 Mon Sep 17 00:00:00 2001 From: Ivan Kohler Date: Tue, 10 Feb 2015 01:44:00 -0800 Subject: [PATCH] reliabily kill off old freeside-selfservice-server processes, RT#33174 --- init.d/freeside-init | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/init.d/freeside-init b/init.d/freeside-init index 705afc184..099603ef0 100644 --- a/init.d/freeside-init +++ b/init.d/freeside-init @@ -170,10 +170,10 @@ case "$1" in if [ -e /var/run/freeside-selfservice-server.$SELFSERVICE_USER.$MACHINE.pid ] then echo -n "Stopping freeside-selfservice-server to $MACHINE" + kill `cat /var/run/freeside-selfservice-server.$SELFSERVICE_USER.$MACHINE.pid` howlong=10 while [ $howlong -gt 0 ] && kill -0 `cat /var/run/freeside-selfservice-server.$SELFSERVICE_USER.$MACHINE.pid` 2>/dev/null; do echo -n '.' - kill `cat /var/run/freeside-selfservice-server.$SELFSERVICE_USER.$MACHINE.pid` sleep 1 howlong=$(( $howlong - 1 )) if [ $howlong -eq 0 ]; then -- 2.11.0