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 /doc/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 'doc/makefile')
0 files changed, 0 insertions, 0 deletions