@@ -1186,10 +1186,11 @@ idrisMain opts =
11861186
11871187 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
11881188
1189− when (runrepl && not idesl) $ initScript
1190− stvar <- runIO $ newMVar ist
1191− when (runrepl && not idesl) $ startServer ist stvar inputs
1192− when (runrepl && not idesl) $ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs
1189+ when (runrepl && not idesl) $ do
1190+ initScript
1191+ stvar <- runIO $ newMVar ist
1192+ startServer ist stvar inputs
1193+ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs
11931194 when (idesl) $ ideslaveStart ist inputs
11941195 ok <- noErrors
11951196 when (not ok) $ runIO (exitWith (ExitFailure 1))