@ -193,6 +193,10 @@ function on_exit {
else
dump_success
fi
# FIXME: be aware of errors during the on_exit function because it does not pop up!
miaou_debug "--end of on_exit => $code --"
builtin exit "$code"
}