diff options
author | Julian Andres Klode <jak@debian.org> | 2015-12-28 04:09:55 +0100 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2015-12-28 04:10:37 +0100 |
commit | 80f06991967d4daccb1c0c1147a6e16291ebb027 (patch) | |
tree | ba385ae12f637463c06fd10072c47d1536d8d235 /Makefile | |
parent | 2ffd35359fffac0ae9ac1def06237324b7204c97 (diff) |
BufferedWriter: flushing: Check for written < size instead of <=
This avoids some issues with InternalWrite returning 0 because
it just cannot write stuff at the moment.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions