forgot something

taskkill -p 1234 -/t

p use the parend pid from the pid file
t to destroy the child process as well

Mario

Reply via email to