diff options
| author | Ivan Kohler <ivan@freeside.biz> | 2015-02-10 01:44:00 -0800 |
|---|---|---|
| committer | Ivan Kohler <ivan@freeside.biz> | 2015-02-10 01:44:00 -0800 |
| commit | ad1d603d9e9a813e697c267d29fefd00fee56ae7 (patch) | |
| tree | 1988a2c70acdd68de868b754120b6503e5714221 /init.d/freeside-init | |
| parent | 92c9e14aa28f017837fb94e4da1d9862e30b02f8 (diff) | |
reliabily kill off old freeside-selfservice-server processes, RT#33174
Diffstat (limited to 'init.d/freeside-init')
| -rw-r--r-- | init.d/freeside-init | 2 |
1 files changed, 1 insertions, 1 deletions
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 |