Shell function post_delayed_exit() and friends.

post_delayed_exit.functions.sh

delayed_exit_p=

function post_delayed_exit() { # exit_code explanation ...

	local exit_code="${1:?missing argument: exit_code}" ; shift

	: "${1:?missing argument: explanation}"

	if [ -z "${delayed_exit_p}" ] ; then

		delayed_exit_p="${exit_code}"
	fi

	if [ "${delayed_exit_p:?}" -eq 0 -a "${exit_code:?}" -eq "${delayed_exit_p:?}" ] ; then

		echo 1>&2 ; echo 1>&2 "$@" ; delayed_exit_p="${exit_code}"
	fi

	if [ "${delayed_exit_p:?}" -gt 0 -a "${exit_code:?}" -ge "${delayed_exit_p:?}" ] ; then

		echo 1>&2 ; echo 1>&2 "$@" ; delayed_exit_p="${exit_code}"
	fi
}

function check_for_delayed_exit() {

	if [ -n "${delayed_exit_p}" ] ; then

		echo 1>&2 ;  exit "${delayed_exit_p}"
	fi
}