From 563e135ff6ae14706e518bae3fb2971c3c60ec17 Mon Sep 17 00:00:00 2001
From: LRN <lrn1986@gmail.com>
Date: Wed, 11 Jul 2012 20:19:45 +0000
Subject: [PATCH] A small fix for W32cat

---
 src/util/w32cat.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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