Searched refs:PID_FILE (Results 1 – 7 of 7) sorted by relevance
18 PID_FILE=/tmp/bootanim.pid44 echo $$ > $PID_FILE59 [ -f $PID_FILE ] || return62 SID=$(cat $PID_FILE; rm -rf $PID_FILE)
18 PID_FILE=/tmp/bootanim.pid36 echo $$ > $PID_FILE47 rm -rf "$PID_FILE"78 [ -f $PID_FILE ] || return80 SID=$(cat $PID_FILE)
7 PID_FILE="/var/run/${NAME}.pid"25 if start-stop-daemon -K -q -s KILL -p "${PID_FILE}" -n "${NAME}"; then26 rm -f "${PID_FILE}"
7 PID_FILE="/var/run/$NAME.pid"14 start-stop-daemon -S -q -p $PID_FILE --exec $DAEMON -- -f $CONF_FILE19 start-stop-daemon -K -q -p $PID_FILE
24 …ONS --cfgfile $CONFIG_FILE --control $CONTROL_FILE --persist-file $PERSIST_FILE --pidfile $PID_FILE26 …ONS --cfgfile $CONFIG_FILE --control $CONTROL_FILE --persist-file $PERSIST_FILE --pidfile $PID_FILE39 -PID_FILE=/var/run/syslog-ng.pid42 +PID_FILE=@LOCALSTATEDIR@/run/syslog-ng.pid
25 PID_FILE=/var/run/$prog/${ID}.pid29 echo $pid > $PID_FILE
26 pid_file = getenv("PID_FILE");