Searched refs:PIDFILE (Results 1 – 3 of 3) sorted by relevance
10 PIDFILE=/var/run/redis_${REDISPORT}.pid15 if [ -f $PIDFILE ]17 echo "$PIDFILE exists, process is already running or crashed"24 if [ ! -f $PIDFILE ]26 echo "$PIDFILE does not exist, process is not running"28 PID=$(cat $PIDFILE)
4 if [ -f $PIDFILE ]6 echo "$PIDFILE exists, process is already running or crashed"13 if [ ! -f $PIDFILE ]15 echo "$PIDFILE does not exist, process is not running"17 PID=$(cat $PIDFILE)29 PID=$(cat $PIDFILE)
126 PIDFILE="/var/run/redis_${REDIS_PORT}.pid"159 PIDFILE=\"$PIDFILE\"\n201 PIDFILE=$PIDFILE