(flushbuf): When there is no new data after priming the stream,
authorroland <roland>
Wed, 8 Feb 1995 02:02:39 +0000 (02:02 +0000)
committerroland <roland>
Wed, 8 Feb 1995 02:02:39 +0000 (02:02 +0000)
commiteec1d7b96a87fd015d8e46d5002e8874fac14a99
treece72e10a2118f5909fda60723700fb63ca5c9b3d
parentbffcf6cb357a07ac3ddc1b5a956a7dc322ea2a27
(flushbuf): When there is no new data after priming the stream,
return without writing out the buffer.
stdio/internals.c