| 11993 | } |
| 11994 | |
| 11995 | OutputRedirect::OutputRedirect(std::string& stdout_dest, std::string& stderr_dest) : |
| 11996 | m_originalStdout(dup(1)), |
| 11997 | m_originalStderr(dup(2)), |
| 11998 | m_stdoutDest(stdout_dest), |
| 11999 | m_stderrDest(stderr_dest) { |
| 12000 | dup2(fileno(m_stdoutFile.getFile()), 1); |
| 12001 | dup2(fileno(m_stderrFile.getFile()), 2); |
| 12002 | } |
| 12003 | |
| 12004 | OutputRedirect::~OutputRedirect() { |
| 12005 | Catch::cout() << std::flush; |