do not run the initscript if in ideslave mode
commitb8b4644528c8cf9e20e19160ddb4f77a55010dc1
authorHannes Mehnert <hannes@mehnert.org>
dateThu 21 Nov 2013, 11:09 (13 years ago)
parentca92b19
src/Idris/REPL.hs+1−1
@@ -1155,7 +1155,7 @@ idrisMain opts =
11551155
11561156 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
11571157
1158− when runrepl $ initScript
1158+ when (runrepl && not idesl) $ initScript
11591159 stvar <- runIO $ newMVar ist
11601160 when (runrepl && not idesl) $ startServer ist stvar inputs
11611161 when (runrepl && not idesl) $ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs