Re: bug in /dev/full ??

Steven S. Dick (
Wed, 2 Apr 97 11:48 EST

Pavel Machek <> wrote:
>On Tue, 1 Apr 1997, Steven S. Dick wrote:
>> Is this what /dev/full should do on read?
>> What would a more correct behavior be?
>This is exactly what /dev/full is expected to do...

No, I don't think it is expected for /dev/full to emit old buffers.
This is a bug!!