[project @ 2003-04-11 14:24:07 by simonmar]
authorsimonmar <unknown>
Fri, 11 Apr 2003 14:24:07 +0000 (14:24 +0000)
committersimonmar <unknown>
Fri, 11 Apr 2003 14:24:07 +0000 (14:24 +0000)
commit07eff4a801f1a578a1903d061604ee5fa65633fb
tree9f32cca6a326044abd66e447eaa2c248f98b21e7
parent87b12b80ff0ae203ceb5d777e10688fbd666e02c
[project @ 2003-04-11 14:24:07 by simonmar]
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]
GHC/Handle.hs