# Restore logged output back to stdin and stderr.
# Counterpart to REDIRECT_OUTPUT
RESET_OUTPUT()
{
 exec 1>&-
 exec 1>&2
}
