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

Copyright-paperwork-exempt: yes

1 files changed, 5 insertions, 1 deletions

diff --git a/output.c b/output.c
index b2584f11..625413b4 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