Pipe buffering query

[Per Hedeland XT/DU]

The problem is not the buffering in the pipe, but the buffering done by
the stdio package when standard output isn't a terminal.  Provided you
can modify the source code of the filter, the fix is simple. Just insert:
	setbuf(stdout, NULL);
before you start writing to stdout; this makes stdout unbuffered.

(BTW, 'cat -u | mail' works (almost) fine.)

Per Hedeland
...{!mcvax}!enea!erix!per