Changeset 58785

Timestamp:

Jan 7, 2010, 5:57:33 AM (13 years ago)

Author:

Noel Belcourt

Message:

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.

(No files)