Shane McKinley wrote: > I always use kill -9 XXXX, don't know if there is a difference. > > -9 is undocumented, but seems to work for me every time. Not undocumented but you have to know where to look: "man 7 signal" will tell you that -9 is the same as -KILL. Nils