diff options
author | 2016-11-21 21:22:58 -0400 | |
---|---|---|
committer | 2016-11-21 21:32:51 -0400 | |
commit | 3ea7198d9e0aea3f8764c0b991c18b09f32d2de1 (patch) | |
tree | 23d396798f4342efc6afc2acd3900b9ba1c0e0cc /Build/MakeMans.hs | |
parent | f0f7e900cc9248c05314eaed418317de690a24d8 (diff) |
stop cleanly when there's a IO error accessing the Handle
All other exceptions are let through, but IO errors accessing the handle
are to be expected, so quietly ignore.
Diffstat (limited to 'Build/MakeMans.hs')
0 files changed, 0 insertions, 0 deletions