tags 690473 + upstream patch
quit
Hi Roger,
Roger Leigh wrote:
> dash:
> $ echo foo > /dev/full
> [nothing]
How about something like this patch?
diff --git i/src/bltin/printf.c w/src/bltin/printf.c
index 893295ce..82d9f5fe 100644
--- i/src/bltin/printf.c
+++ w/src/bltin/printf.c
@@ -209,6 +209,9 @@ pc:
} while (gargv != argv && *gargv);
out:
+ fflush(stdout);
+ if (ferror(stdout))
+ warnx("I/O error");
return rval;
err:
return 1;
@@ -460,5 +463,9 @@ end:
}
outc(c, outs);
} while (*argv);
+
+ flushout(outs);
+ if (outerr(outs))
+ warnx("I/O error");
return 0;
}
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
