util: Make ovs_fatal() understand EOF also.

ovs_error() interprets EOF as "end of file" when printing an error message,
so ovs_fatal() might as well.

diff --git a/lib/util.c b/lib/util.c
index 9fc99f0..01ebc9c 100644 (file)
--- a/lib/util.c
+++ b/lib/util.c
@@ -156,7 +156,8 @@ ovs_fatal(int err_no, const char *format, ...)
     vfprintf(stderr, format, args);
     va_end(args);
     if (err_no != 0)
-        fprintf(stderr, " (%s)", strerror(err_no));
+        fprintf(stderr, " (%s)",
+                err_no == EOF ? "end of file" : strerror(err_no));
     putc('\n', stderr);
 
     exit(EXIT_FAILURE);