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.