>>>>> "Petr" == Petr Dvorak <[EMAIL PROTECTED]> writes:
Petr> netscape is known doing this, 'kill -9 <PID>' should get rid
Petr> of them, signal 9 is not maskable.
My experience, there are only two ways of killing netscape:
1. from netscape or the window manager close function.
2. kill -9.
Last I tried, if I pressed Ctrl+C at the console running netscape in
the foreground, or if I try to kill it with -9, then it crashed and
can only be killed with -9.
So it seems that the cleanup routine that intercepts the signal is
buggy, and never returns.
--
Brian May <[EMAIL PROTECTED]>
