Searched refs:PID_FILE (Results 1 – 5 of 5) 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
30 PID_FILE=/var/run/sshd.pid127 if [ ! -f $PID_FILE ] ; then141 if [ -f $PID_FILE ] ; then
26 PID_FILE=/var/run/sshd.pid
101 PID_FILE = 'swarming_bot.pid' variable in SwarmingBot129 self.pid_file = os.path.join(self.bot_dir, self.PID_FILE)
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()