From 8d577c2ff43d4808cd5a3754dcfd04549b086044 Mon Sep 17 00:00:00 2001
From: Piotr Jaroszynski <pjaroszynski@nvidia.com>
Date: Thu, 15 May 2014 11:40:27 -0700
Subject: * output.c (pump_from_tmp): [SV 42378] Flush the output file
 regularly.

Copyright-paperwork-exempt: yes
---
 output.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'output.c')

diff --git a/output.c b/output.c
index b2584f1..625413b 100644
--- a/output.c
+++ b/output.c
@@ -240,7 +240,11 @@ pump_from_tmp (int from, FILE *to)
       if (len <= 0)
         break;
       if (fwrite (buffer, len, 1, to) < 1)
-        perror ("fwrite()");
+        {
+          perror ("fwrite()");
+          break;
+        }
+      fflush (to);
     }
 
 #ifdef WINDOWS32
-- 
cgit v1.2.3