Restore the terminal attributes even if ghci does not exit normally.
authorJudah Jacobson <judah.jacobson@gmail.com>
Mon, 20 Oct 2008 16:41:09 +0000 (16:41 +0000)
committerJudah Jacobson <judah.jacobson@gmail.com>
Mon, 20 Oct 2008 16:41:09 +0000 (16:41 +0000)
commit032287cbc4b56312588388c324731005bd3eee77
tree6f59cbea7019d3ec6489118dbed9498ada081dee
parente47c481d3e69601d902ce525f54de9246a80bcda
Restore the terminal attributes even if ghci does not exit normally.
compiler/ghci/InteractiveUI.hs