Commit d011e911 authored by rrt's avatar rrt
Browse files

[project @ 2001-07-17 14:53:48 by rrt]

Reset the terminal on exit so that ghci doesn't leave it messed up. To see
what I mean, run ghci, then type :q RET, then su return, and start typing a
password. Alarming, isn't it?

This fix needs a patch to the Readline library (next commit).
parent e1d82082
-----------------------------------------------------------------------------
-- $Id: InteractiveUI.hs,v 1.80 2001/06/28 11:29:26 simonmar Exp $
-- $Id: InteractiveUI.hs,v 1.81 2001/07/17 14:53:48 rrt Exp $
--
-- GHC Interactive User Interface
--
......@@ -149,6 +149,11 @@ interactiveUI cmstate paths cmdline_libs = do
startGHCi runGHCi GHCiState{ targets = paths,
cmstate = cmstate,
options = [] }
#if HAVE_READLINE_HEADERS && HAVE_READLINE_LIBS
Readline.resetTerminal Nothing
#endif
return ()
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment