Searched refs:PID_FILE (Results 1 – 4 of 4) sorted by relevance
23 declare -r PID_FILE="/tmp/dev_server.pid"30 echo $!>${PID_FILE}36 if [ -f ${PID_FILE} ]; then37 ps $(cat ${PID_FILE}) | grep -q devserver.py || start_dev_server
29 PID_FILE=/var/run/sshd.pid110 if [ ! -f $PID_FILE ] ; then124 if [ -f $PID_FILE ] ; then
26 PID_FILE=/var/run/sshd.pid
50 #ifndef PID_FILE51 #define PID_FILE "" macro277 #ifndef PID_FILE278 #define PID_FILE "/var/run/mDNSResponder.pid" macro3983 if (PID_FILE[0]) in udsserver_init()3985 FILE *fp = fopen(PID_FILE, "w"); in udsserver_init()4122 if (PID_FILE[0]) unlink(PID_FILE); in udsserver_exit()