From: Michael Garriss <mgarriss@...>
Date: 2003-04-10T03:33:00+09:00
Subject: Re: I quote:  "Maybe IRB bug!!"

kill -9 <processID>

Chris Pine wrote:

>Uh... how do I kill a process if `kill <processID>' doesn't work?
>
><:)
>
>Chris
>
>
>
>  
>