Anonymous

#!/bin/bash

CONFIGDIR=/home/Mr_Molez/ROTATION/conffilezzz
PIDFILE="$CONFIGDIR/r5156.pid"

if [ -z "$1" ] ; then
  echo "usage: $0 confname" >&2
  exit 1
fi
SERVERNAME="$CONFIGDIR/$1"
if [ ! -r $SERVERNAME ] ; then
  echo "Can't read $SERVERNAME" >&2
  exit 2
fi
#
if [ -r $PIDFILE ] ; then
#
        # get the PID into a variable
        pid=`cat $PIDFILE`
        # if it's a number (i.e. > 0)
        if [ $pid -gt 0 ] ; then
                kill $pid
                # wait for process to finish
                while [ `ps -p $pid | wc -l` -gt 1 ] ; do
                        sleep 5
                done
        fi
#
fi
#
/home/Mr_Molez/ROTATION/bzfs -conf $SERVERNAME -pidfile $PIDFILE &