#!/bin/bash
set -e

kill_child_jobs() {
    # From https://unix.stackexchange.com/a/544167
    while kill %% 2>/dev/null; do sleep 0; done
}