Searched defs:PidFile (Results 1 – 2 of 2) sorted by relevance
71 char *PidFile = _PATH_RBOOTDPID; /* file w/pid of server */ variable
107 const char *PidFile = _PATH_LOGPID; variable