Thanks!
On 4/3/2001 4:41 PM this was written:
> 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
> }
> }
--
Thomas Deliduka
IT Manager
-------------------------
New Eve Media
The Solution To Your Internet Angst
http://www.neweve.com/
--
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]
