diff options
author | jkh <jkh@FreeBSD.org> | 1993-10-10 01:46:53 +0000 |
---|---|---|
committer | jkh <jkh@FreeBSD.org> | 1993-10-10 01:46:53 +0000 |
commit | 0ba82aebc9d99e6d96bd5822478f3b4af285bf74 (patch) | |
tree | 12f9a7629bd0418bacb5e5309f4808a3c19b52ca /gnu/usr.bin/man | |
parent | a348e393598cf869b81da13b1df332422c932f40 (diff) | |
download | FreeBSD-src-0ba82aebc9d99e6d96bd5822478f3b4af285bf74.zip FreeBSD-src-0ba82aebc9d99e6d96bd5822478f3b4af285bf74.tar.gz |
Try copy if rename of temporary catpage fails.
Diffstat (limited to 'gnu/usr.bin/man')
-rw-r--r-- | gnu/usr.bin/man/man/man.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index a96f2a2..c5b4ee0 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -1087,7 +1087,12 @@ make_cat_file (path, man_file, cat_file) } else { if (rename(temp, cat_file) == -1) { - perror("rename"); + /* FS might be sticky */ + sprintf(command, "cp %s %s", temp, cat_file); + if (system(command)) + fprintf(stderr, + "\nHmm! Can't seem to rename %s to %s, check permissions on man dir!\n", + temp, cat_file); unlink(temp); return 0; } |