diff options
author | jkh <jkh@FreeBSD.org> | 1995-04-26 16:19:23 +0000 |
---|---|---|
committer | jkh <jkh@FreeBSD.org> | 1995-04-26 16:19:23 +0000 |
commit | 212277584eda418a61b70f12467a9b773b931f5a (patch) | |
tree | 756a830c4b1568a8b3f69de9f03b72601cb64e6f /gnu/usr.bin/man | |
parent | b34c5b4d3db443f8e148e5d85c898ced04119ed1 (diff) | |
download | FreeBSD-src-212277584eda418a61b70f12467a9b773b931f5a.zip FreeBSD-src-212277584eda418a61b70f12467a9b773b931f5a.tar.gz |
Close this PR:
>Number: 364
>Category: bin
>Synopsis: Interrupting man results in half-baked man page
>Description:
Interrupting man while it is waiting for the page to be formatted
results in a zero length file or a half-baked file.
>How-To-Repeat:
Inetrrupt man while it is formatting a page.
>Fix:
Pay more attention to the return value from the system command.
Submitted by: John Capo <jc@irbs.com>
Diffstat (limited to 'gnu/usr.bin/man')
-rw-r--r-- | gnu/usr.bin/man/man/man.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index 4e20d4d..806f230 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -1063,7 +1063,7 @@ make_cat_file (path, man_file, cat_file) status = do_system_command (command); - if (!status) { + if (status <= 0) { fprintf(stderr, "Failed.\n"); unlink(temp); exit(1); |