diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-07-23 15:24:46 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2016-07-23 17:23:13 +0200 |
commit | 8ca481e8419c19b6ef9074b68cc028177a507161 (patch) | |
tree | 01b06b8fbc63894d333247396e00f3131110af9e /README.progress-reporting | |
parent | 8b21456acba3cbbc28f35eba684d8f21b0c290b4 (diff) |
call flush on the wrapped writebuffered FileFd
The flush call is a no-op in most FileFd implementations so this isn't
as critical as it might sound as the only non-trivial implementation is
in the buffered writer, which tends not be used to buffer another
buffer…
Diffstat (limited to 'README.progress-reporting')
0 files changed, 0 insertions, 0 deletions