kill -9
só deve ser usado como último recurso. Se kill -SIGNINT PID
não estiver fazendo o que você deseja, tente kill -SIGTERM PID
. Esses sinais podem ser capturados pelo aplicativo e ele pode fazer o que quiser com eles, incluindo realizar a limpeza ou ignorá-los.