+ if(stdout_dest==IGNORE || stderr_dest==IGNORE)
+ {
+ IO::File devnull("/dev/null", IO::M_WRITE);
+ if(stdout_dest==IGNORE)
+ IO::cout.redirect(devnull);
+ if(stderr_dest==IGNORE)
+ IO::cerr.redirect(devnull);
+ }
+
+ if(capture_pipe)
+ {
+ if(stdout_dest==CAPTURE)
+ IO::cout.redirect(*capture_pipe);
+ if(stderr_dest==CAPTURE)
+ IO::cerr.redirect(*capture_pipe);
+ delete capture_pipe;
+ }
+