bash で子孫プロセス共々kill する

#!/bin/bash

function killChildren(){
    local ppid

    for ppid in $@;
    do
        killChildren $(ps --ppid $ppid -o pid --no-heading)
        set -x
        kill $ppid
        set +x
    done
}