* output.c (pump_from_tmp): [SV 42378] Flush the output file regularly.

Copyright-paperwork-exempt: yes

diff --git a/output.c b/output.c
index b2584f11d77b36cbc5c8ea0ae3e9114edc8bb8aa..625413b4394b326f3b46e96cf85ff19d85c6c5b7 100644 (file)
--- 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