Re: [PATCH] after gzgets(), Z_STREAM_END means EOF, not error

2020-04-16 Thread David Bremner
Olivier Taïbi writes: > As suggested by David Bremner in > https://notmuchmail.org/pipermail/notmuch/2020/029288.html > here is the patch for bug #3: after gzgets() returns NULL (meaning EOF > or error), the error code Z_STREAM_END means EOF and not error. pushed, with revised commit message.

Re: [PATCH] after gzgets(), Z_STREAM_END means EOF, not error

2020-04-14 Thread Olivier Taïbi
On Tue, Apr 14, 2020 at 05:38:32PM -0300, David Bremner wrote: > Olivier Taïbi writes: > > PS: out of curiosity, why bother with the --gzip feature in notmuch dump > > and restore when the user can simply pipe to/from a gzip/bzip2/xz/... > > command? > > I believe the original motivation (in

Re: [PATCH] after gzgets(), Z_STREAM_END means EOF, not error

2020-04-14 Thread David Bremner
Olivier Taïbi writes: > As suggested by David Bremner in > https://notmuchmail.org/pipermail/notmuch/2020/029288.html > here is the patch for bug #3: after gzgets() returns NULL (meaning EOF > or error), the error code Z_STREAM_END means EOF and not error. > PS: out of curiosity, why bother

[PATCH] after gzgets(), Z_STREAM_END means EOF, not error

2020-04-14 Thread Olivier Taïbi
As suggested by David Bremner in https://notmuchmail.org/pipermail/notmuch/2020/029288.html here is the patch for bug #3: after gzgets() returns NULL (meaning EOF or error), the error code Z_STREAM_END means EOF and not error. Context: I am compiling notmuch on OpenBSD which has a rather old zlib