It's not "really bad", but it's not the nice way to kill a process. Just use kill on its own to send the default signal type, 15 or SIGTERM, which gives the process a chance to clean things up before dying. If that fails, then try a signal 9, SIGKILL.
See man -s 3HEAD signal for a description of all of the available signals. Annihilannic.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.