From: Chris Pine <nemo@...>
Date: 2003-04-10T02:18:22+09:00
Subject: Re: I quote:  "Maybe IRB bug!!"

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

<:)

Chris