Searched refs:PIDFILE (Results 1 – 4 of 4) sorted by relevance
18 PIDFILE=/var/run/redis_${REDISPORT}.pid23 if [ -f $PIDFILE ]25 echo "$PIDFILE exists, process is already running or crashed"32 if [ ! -f $PIDFILE ]34 echo "$PIDFILE does not exist, process is not running"36 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)
159 PIDFILE="/var/run/redis_${REDIS_PORT}.pid"192 PIDFILE=\"$PIDFILE\"\n234 PIDFILE=$PIDFILE
137 local PIDFILE="$1"; shift155 ln -sf "$PIDFILE" /run/sendsigs.omit.d/zed177 local PIDFILE="$1"184 --pidfile "$PIDFILE" --name "$DAEMON_NAME"185 [ "$?" = 0 ] && rm -f "$PIDFILE"190 killproc -p "$PIDFILE" "$DAEMON_NAME"191 [ "$?" = 0 ] && rm -f "$PIDFILE"205 local PIDFILE="$1"215 status -p "$PIDFILE" "$DAEMON_NAME"227 local PIDFILE="$1"[all …]