kill_child_jobs() {
    echo "In kill_child_jobs()..."
    # From https://stackoverflow.com/a/23336595
    # Kills all child processes, not just jobs.
    pkill -P $$
}