diff options
| author | lars <lars@FreeBSD.org> | 1996-06-01 03:19:59 +0000 |
|---|---|---|
| committer | lars <lars@FreeBSD.org> | 1996-06-01 03:19:59 +0000 |
| commit | a90d30f14691d10790925c99a7bcc9921319d21e (patch) | |
| tree | b78f9b95ab7e89e75e2f19d9d02198eff4a46138 /gnu | |
| parent | afa38eb3c4d1e60c7c8819dd27987fddd2437f53 (diff) | |
| download | FreeBSD-src-a90d30f14691d10790925c99a7bcc9921319d21e.zip FreeBSD-src-a90d30f14691d10790925c99a7bcc9921319d21e.tar.gz | |
Reviewed by: joerg
Change man so that it will still display the man page even if it
cannot create a "cat" file.
Diffstat (limited to 'gnu')
| -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 2823e23..1bce5e9 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -1066,7 +1066,7 @@ make_cat_file (path, man_file, cat_file) if (status <= 0) { fprintf(stderr, "Failed.\n"); unlink(temp); - exit(1); + return(0); } else { if (rename(temp, cat_file) == -1) { |
