path: stompserver_0.9.9gem-5/debian/stompserver.init
reload_server() {                                                               
  [ ! -f "$PIDFILE" ] && return 1                                             
  pid=pidofproc $PIDFILE # This is the daemon's pid                           
  kill -1 $pid
  return $?


path: stompserver_0.9.9gem-5/debian/stompserver.init
  [ ! -f "$PIDFILE" ] && return 1
  status="0"
  pidofproc -p $PIDFILE $NAME >/dev/null || status="$?"
  if [ "$status" = 0 ]; then
    return 0