* Flush all StdIO output files

git-svn-id: trunk@2985 -

rtl/inc/system.inc

@@ -668,6 +668,11 @@ Begin
      dump_stack(stdout,ErrorBase);
      Writeln(stdout,'');
    End;
+  { Make sure that all output is written to the redirected file }
+  Flush(Output);
+  Flush(ErrOutput);
+  Flush(StdOut);
+  Flush(StdErr);
 End;