6 PID_FILE
="/var/lib/stompserver/log/stompserver.pid"
10 [ ! -f "$PIDFILE" ] && return 1
11 local PID
=$
(cat "$PIDFILE" 2> /dev
/null
)
12 [ -z "$PID" ] && return 1
13 if [ ! -d "/proc/$PID" ]; then
14 rm -f "$PIDFILE" 2> /dev
/null
22 if check_pid
"$PIDFILE"; then
23 local PID
=$
(cat "$PIDFILE" 2> /dev
/null
)
24 kill $PID &> /dev
/null
33 while check_pid
"$1"; do sleep 1; done
38 stat_busy
"Starting stompserver"
39 check_pid
"$PID_FILE" ||
/opt
/ruby-enterprise
/bin
/stompserver
-C /etc
/stompserver.conf
&> /dev
/null
48 stat_busy
"Stopping stompserver"
49 if ! kill_pid
"$PID_FILE"; then
63 echo "usage: $0 {start|stop|restart}"