Only initialise readline if we are connected to a terminal
authorIan Lynagh <igloo@earth.li>
Sun, 13 Jan 2008 12:41:07 +0000 (12:41 +0000)
committerIan Lynagh <igloo@earth.li>
Sun, 13 Jan 2008 12:41:07 +0000 (12:41 +0000)
commitb25d67d4c0398dbceca0165c3b43df0625e1e06a
treed9b8947c76ce2ab5441fbb70a1e9940f81e90a6a
parentb9c0562f716770bc09573c5aa892ea0b76570a74
Only initialise readline if we are connected to a terminal
Patch from Bertram Felgenhauer <int-e@gmx.de>
compiler/ghci/InteractiveUI.hs