+
+ if (real_stdout) fflush (real_stdout);
+ if (real_stderr) fflush (real_stderr);
+
+ if (stdout != real_stdout)
+ dup2 (fileno(real_stdout), fileno(stdout));
+ if (stderr != real_stderr)
+ dup2 (fileno(real_stderr), fileno(stderr));
+
+ stderr_stdout_read_fd = -1;