Trying to kill a process that just won't die...

[Gregory Gulik]

More times than I can count.


Benno Goedhart wrote:
> 
> Have you also tried kill -HUP <pid>
> 
> 
> 

-- 
Greg Gulik                                 http://www.gulik.org/greg/
greg @ gulik.org