I considered that, but didn't have time to think about a proper solution. Using bash's own job control instead of regular kill would probably be better.