Home
last modified time | relevance | path

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

/web-php/tests/
H A Dserver122 IFS=: read HOST PORT PID <<< "$PIDFILECONTENT:"
131 kill -9 "$PID"
142 if read_pidfile && kill -0 "$PID" ; then
151 if read_pidfile && kill -0 "$PID" ; then
/web-php/releases/
H A DNEWS_5_4_0_RC1.txt4553 - Fixed bug #38542 (proc_get_status() returns wrong PID on windows). (Nuno)
H A DNEWS_5_4_0_beta1.txt4457 - Fixed bug #38542 (proc_get_status() returns wrong PID on windows). (Nuno)

Completed in 39 milliseconds