diff options
author | Colin Watson <cjwatson@debian.org> | 2007-08-28 17:15:37 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2007-08-28 17:15:37 +0100 |
commit | 2f3375ad21498ef8aea231759b18d648f67e9452 (patch) | |
tree | 51715d48e8e9a30da5d2035a741b154fb81385ec /lib | |
parent | 37fa5450498e8686c036d9b20ffe331d784e97db (diff) |
* lib/pipeline.c (pipeline_pump): Make comment language less
specific to man.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/pipeline.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/pipeline.c b/lib/pipeline.c index bbdb7b0a..f2f34980 100644 --- a/lib/pipeline.c +++ b/lib/pipeline.c @@ -1402,9 +1402,9 @@ void pipeline_pump (pipeline *p, ...) break; if (errno == EINTR) continue; - /* Failure to save a cat page shouldn't - * impede displaying the page in a pager, so - * we report errors later. + /* It may be useful for other processes to + * continue even though this one fails, so + * don't FATAL yet. */ if (errno != EPIPE) write_error[i] = errno; |