do not run server in ideslave mode
commit0ef9d12b8a982e011223a09fce36b590c20b9d2a
authorHannes Mehnert <hannes@mehnert.org>
dateWed 20 Nov 2013, 11:50 (13 years ago)
parent3e2141b
src/Idris/REPL.hs+1−1
@@ -1156,7 +1156,7 @@ idrisMain opts =
11561156
11571157 when runrepl $ initScript
11581158 stvar <- runIO $ newMVar ist
1159− when runrepl $ startServer ist stvar inputs
1159+ when (runrepl && not idesl) $ startServer ist stvar inputs
11601160 when (runrepl && not idesl) $ runInputT (replSettings (Just historyFile)) $ repl ist stvar inputs
11611161 when (idesl) $ ideslaveStart ist inputs
11621162 ok <- noErrors