On Tuesday 03 April 2001 21:59, you wrote:
> I would like to find all processes by a given user on a linux box and
> kill them. I know this much:
>
> ps -u username
>
> Now, do I then pipe that to grep somehow and get just the PID's?
(1) look up system / backtick operator / ... to get the output of the
grep call as array, one line per entry
(2) do a
foreach ($TheOutput as $Line) {
if (preg_match ('/^\s*(\d+)/', $Line, $Matches)) {
$PID = $Matches [1];
// kill it
}
}
--
Christian Reiniger
LGDC Webmaster (http://sunsite.dk/lgdc/)
CPU not found. retry, abort, ignore?
--
PHP General Mailing List (http://www.php.net/)
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]
