From 3d290c13b56c9b30cf3ef66bd5744415f4dac086 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sun, 5 Dec 2010 20:53:01 +0000 Subject: [PATCH] Close .ghci files after reading them; fixes trac #4487 --- ghc/InteractiveUI.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ghc/InteractiveUI.hs b/ghc/InteractiveUI.hs index 552b61c..80ec79d 100644 --- a/ghc/InteractiveUI.hs +++ b/ghc/InteractiveUI.hs @@ -404,8 +404,10 @@ runGHCi paths maybe_exprs = do -- NOTE: this assumes that runInputT won't affect the terminal; -- can we assume this will always be the case? -- This would be a good place for runFileInputT. - Right hdl -> runInputTWithPrefs defaultPrefs defaultSettings $ do + Right hdl -> + do runInputTWithPrefs defaultPrefs defaultSettings $ runCommands $ fileLoop hdl + liftIO (hClose hdl `IO.catch` \_ -> return ()) where getDirectory f = case takeDirectory f of "" -> "."; d -> d -- 1.7.10.4