My naive answer: If a normal `kill` did not do the trick. At least that what I do. I guess a process is given more space to "clean up after itself" with a nor

My naive answer: If a normal `kill` did not do the trick. At least that what I do. I guess a process is given more space to "clean up after itself" with a normal `kill`; where a `kill -9` forces it to die. Anyway; I don't know the exact answer -- will come back later to read a wiser person's answer. :)