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