git.iko.soy/Idris-dev
on master help sign in
do not run the initscript if in ideslave mode
b8b4644Hannes Mehnert
src/Idris/REPL.hs+1−1
compare with master
unifiedsplit
@@ -1155,7 +1155,7 @@ idrisMain opts =
1155
1155
1156 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
1156 historyFile <- fmap (</> "repl" </> "history") getIdrisUserDataDir
1157
1157
1158− when runrepl $ initScript
1158+ when (runrepl && not idesl) $ initScript
1159 stvar <- runIO $ newMVar ist
1159 stvar <- runIO $ newMVar ist
1160 when (runrepl && not idesl) $ startServer ist stvar inputs
1160 when (runrepl && not idesl) $ startServer ist stvar inputs
1161 when (runrepl && not idesl) $ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs
1161 when (runrepl && not idesl) $ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs