bkj · June 25, 2018 21:31
diff --git a/cleanup.sh b/cleanup.sh
 #!/bin/bash

 cleanup() {
    echo "cleanup";
    local pids=$(jobs -pr);
    [ -n "$pids" ] && kill $pids;
 };
 trap "cleanup" INT QUIT TERM EXIT

 # Put this at the beginning of a file to kill children
	#!/bin/bash

	cleanup() {
	echo "cleanup";
	local pids=$(jobs -pr);
	[ -n "$pids" ] && kill $pids;
	};
	trap "cleanup" INT QUIT TERM EXIT

	# Put this at the beginning of a file to kill children