A small fix for W32cat

diff --git a/src/util/w32cat.c b/src/util/w32cat.c
index 0c5091c66c74224ecc0092c2c7df9aade00e5cda..4c60c49062bd3bc9331f6ba89c8591152401b185 100644 (file)
--- a/src/util/w32cat.c
+++ b/src/util/w32cat.c
@@ -79,7 +79,7 @@ main (int argc, char **argv)
     {\r
       unsigned char c;\r
       b = ReadFile (stdi, &c, 1, &r, NULL);\r
-      if (r > 0)\r
+      if (b && r > 0)\r
       {\r
         b = WriteFile (stdo, &c, 1, &w, NULL);\r
         if (b == 0)\r