diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2014-11-17 14:25:51 +0100 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2014-11-17 14:35:24 +0100 |
commit | 7bd68db7d702c5951d192359f2dd6b256a98c62d (patch) | |
tree | 4066d4bca96253af79e98254ed44cf018ed29aeb /po/fr/wshaper.po | |
parent | a226f199accb4a9adce10d3373fb832109e60876 (diff) |
modules/base: ltn12: source.file() should terminate when an empty chunk is read
The read method of nixio's file and socket objects both return an empty string
when they reach EOF, not nil, causing the consumer to loop endlessly as
source.file() never terminates.
As there is no other situation in which an empty chunk is read, just change it
to nil to terminate the consumer's loop.
Signed-off-by: Matthias Schiffer <mschiffer@universe-factory.net>
Diffstat (limited to 'po/fr/wshaper.po')
0 files changed, 0 insertions, 0 deletions