Răsfoiți Sursa
This patch ensures we close both file descriptors following the dup2 calls.
This is mostly for completeness but also because I've occasionally noticed
output isn't flushed from a terminated process (when it is killed for exceeding
the time limit). I'm sure this won't break anything and am slightly hopeful
that it might ensure output is flushed before the terminating process is killed.
[SVN r58785]
K. Noel Belcourt