diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-04T11·23+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-10-04T11·23+0000 |
| commit | 450837bcc887a47260817611d01c22e35aba92b6 (patch) | |
| tree | af0f81ed0572373b84a0642e87f4b702d124a250 /scripts | |
| parent | 4aa92450832e87018513a2453e39858fab00833a (diff) | |
* In printMsg(), ignore failing writes to stderr if we're in an
exception handler, otherwise throw an exception. We need to ignore write errors in exception handlers to ensure that cleanup code runs to completion if the other side of stderr has been closed unexpectedly.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions