Lines Matching defs:pidwait
37 pidwait192 # pidwait waits for the process with a given pid to be terminated.194 sub pidwait {237 pidwait($pid, &WNOHANG);287 pidwait($pid, &WNOHANG);305 pidwait($pid, &WNOHANG);322 pidwait($pid, &WNOHANG);332 pidwait($pid, 0);361 pidwait($pid, 0);375 pidwait($pid, 0);