xprintf fixes.

* lib/xprintf.c (xprintf, xfprintf): Use va_end.
Use a clearer diagnostic.
Patch from Bruno Haible.

1 files changed, 4 insertions, 2 deletions

diff --git a/lib/xprintf.c b/lib/xprintf.c
index 2134e26141..6ecd2a2ad7 100644
--- a/lib/xprintf.c
+++ b/lib/xprintf.c
@@ -38,7 +38,8 @@ xprintf (char const *restrict format, ...)
   va_start (args, format);
   int err = vprintf (format, args);
   if (err < 0 && ! ferror (stdout))
-    error (exit_failure, errno, gettext ("write error"));
+    error (exit_failure, errno, gettext ("cannot perform formatted output"));
+  va_end (args);
 
   return err;
 }
@@ -52,7 +53,8 @@ xfprintf (FILE *restrict stream, char const *restrict format, ...)
   va_start (args, format);
   int err = vfprintf (stream, format, args);
   if (err < 0 && ! ferror (stream))
-    error (exit_failure, errno, gettext ("write error"));
+    error (exit_failure, errno, gettext ("cannot perform formatted output"));
+  va_end (args);
 
   return err;
 }