diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-07-16 18:59:49 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-07-16 19:00:03 -0400 |
| commit | ed88bcfb7c15029f9fc95ee2380759a9eb782d46 (patch) | |
| tree | 11913b6937d91fa4ee49f312eb044abc38ae7c50 /tools | |
| parent | 36f822c4bd077f9121757e24b6516e5c7ada63b5 (diff) | |
Be more careful when checking for empty files
If we want to avoid reading a totally empty file, it seems better
to check after we have opened the file, not before.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions