The approach recommended above is actually the less violent
kill INT => $pid; [download]
In reply to Re^2: Killing a child process by ikegami in thread Killing a child process by Anonymous Monk