diff options
author | Miles Bader <miles@gnu.org> | 1997-07-23 17:44:02 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-07-23 17:44:02 +0000 |
commit | ff5d00776d51e850eac8c2d51f8c960b745f0255 (patch) | |
tree | b8eb57ef0abf069b07f56b43b582154e70af1870 /nfs/main.c | |
parent | a8069b7d7c1dfac308db0c562ffaf74bdea585a1 (diff) |
(main):
Failure to map MAPPED_TIME is a fatal error.
Include <error.h>.
Diffstat (limited to 'nfs/main.c')
-rw-r--r-- | nfs/main.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -29,6 +29,7 @@ #include <maptime.h> #include <argp.h> #include <argz.h> +#include <error.h> extern char *localhost (); @@ -358,7 +359,7 @@ main (int argc, char **argv) errno = maptime_map (0, 0, &mapped_time); if (errno) - perror ("mapping time"); + error (2, errno, "mapping time"); cthread_detach (cthread_fork ((cthread_fn_t) timeout_service_thread, 0)); cthread_detach (cthread_fork ((cthread_fn_t) rpc_receive_thread, 0)); |