diff options
author | Thomas White <taw@physics.org> | 2015-12-13 08:52:22 -0800 |
---|---|---|
committer | Thomas White <taw@physics.org> | 2015-12-13 09:02:42 -0800 |
commit | 78b428f19a4a5a165168c777c983a053a6f85016 (patch) | |
tree | 8c4674eeec8df4e7096213f7a49de8f6a1dbacc7 | |
parent | 3405b5cf407927f648cee59d5e746211888b104b (diff) |
indexamajig: Restart fgets() in pump_chunk() if interrupted by system call
This fixes the occasional unterminated chunk found in the output.
-rw-r--r-- | src/im-sandbox.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/im-sandbox.c b/src/im-sandbox.c index cd66c728..23d3d0a2 100644 --- a/src/im-sandbox.c +++ b/src/im-sandbox.c @@ -374,7 +374,7 @@ static int pump_chunk(FILE *fh, int ofd) } ERROR("fgets() failed: %s\n", strerror(errno)); - return 1; + if ( errno != EINTR ) return 1; } |