From d37c160b819d3a828fac6ed037e835158ac23c85 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Sat, 25 Mar 2017 22:55:06 +0300 Subject: Small improvement in io.c:flush_io. --- io.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'io.c') diff --git a/io.c b/io.c index 00a0ba3c..fa9225ce 100644 --- a/io.c +++ b/io.c @@ -1438,7 +1438,7 @@ flush_io() // now for all open redirections for (rp = red_head; rp != NULL; rp = rp->next) { - void (*messagefunc)(const char *mesg, ...) = fatal; + void (*messagefunc)(const char *mesg, ...) = r_fatal; /* flush both files and pipes, what the heck */ if ((rp->flag & RED_WRITE) != 0 && rp->output.fp != NULL) { @@ -1446,7 +1446,7 @@ flush_io() update_ERRNO_int(errno); if (is_non_fatal_redirect(rp->value, strlen(rp->value))) - messagefunc = warning; + messagefunc = r_warning; if ((rp->flag & RED_PIPE) != 0) messagefunc(_("pipe flush of `%s' failed (%s)."), -- cgit v1.2.3