simonmar 2003/04/11 07:24:08 PDT
Modified files:
libraries/base/GHC Handle.hs
Log:
Plug a file descriptor leak: when finalizing a handle, we should
ignore errors in the flushing operation and go ahead and close the
handle anyway.
Spotted by: Keean [k.schupke@ic.ac.uk]
Revision Changes Path
1.18 +34 -28 fptools/libraries/base/GHC/Handle.hs