projects
/
freeside.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
92c9e14
)
reliabily kill off old freeside-selfservice-server processes, RT#33174
author
Ivan Kohler
<ivan@freeside.biz>
Tue, 10 Feb 2015 09:44:00 +0000
(
01:44
-0800)
committer
Ivan Kohler
<ivan@freeside.biz>
Tue, 10 Feb 2015 09:44:00 +0000
(
01:44
-0800)
init.d/freeside-init
patch
|
blob
|
history
diff --git
a/init.d/freeside-init
b/init.d/freeside-init
index
705afc1
..
099603e
100644
(file)
--- 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"
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 '.'
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
sleep 1
howlong=$(( $howlong - 1 ))
if [ $howlong -eq 0 ]; then