git.iko.soy/Idris-dev
on master help sign in
do not run server in ideslave mode
0ef9d12Hannes Mehnert
src/Idris/REPL.hs+1−1
compare with master
unifiedsplit
@@ -1156,7 +1156,7 @@ idrisMain opts =
1156
1156
1157 when runrepl $ initScript
1157 when runrepl $ initScript
1158 stvar <- runIO $ newMVar ist
1158 stvar <- runIO $ newMVar ist
1159− when runrepl $ startServer ist stvar inputs
1159+ when (runrepl && not idesl) $ startServer ist stvar inputs
1160 when (runrepl && not idesl) $ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs
1160 when (runrepl && not idesl) $ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs
1161 when (idesl) $ ideslaveStart ist inputs
1161 when (idesl) $ ideslaveStart ist inputs
1162 ok <- noErrors
1162 ok <- noErrors