On Thu, Jul 31, 2003 at 03:05:58AM +0000, Simon Mushi wrote:
> Hi all,
>
> I just wanted to ask what to do if a process refuses to die. For example I
> want to kill dctc with a pid of 16371. So I type in "kill 16371" and I can
> do this continually and the process refuses to die and still shows up in
> top.
>
Try:
$ kill -9 16371
That should kill it -- unless you don't have the right permissions.
- PK
> What can I do to kill it for real?
>
> Thx,
>
> Simon
>
>
> --
> [EMAIL PROTECTED] mailing list
--
[EMAIL PROTECTED] mailing list
