Home
last modified time | relevance | path

Searched refs:read_pidfile (Results 1 – 1 of 1) sorted by relevance

/web-php/tests/
H A Dserver119 read_pidfile() { function
130 if read_pidfile; then
142 if read_pidfile && kill -0 "$PID" ; then
151 if read_pidfile && kill -0 "$PID" ; then

Completed in 3 milliseconds