on master help sign in
Get some diagnostic info on why the Idris REPL refuses your connection.
398426dLeif Warner
src/Idris/REPL.hs+3−1
@@ -133,7 +133,9 @@ startServer orig stvar fn_in = do tid <- runIO $ forkOS serverLoop
133 putMVar stvar ist'
133 putMVar stvar ist'
134 hClose h
134 hClose h
135 loop fn ist' sock
135 loop fn ist' sock
136+ else do
137+ putStrLn $ "Closing connection attempt from non-localhost " ++ host
136− else hClose h
138+ hClose h
137
139
138processNetCmd :: MVar IState ->
140processNetCmd :: MVar IState ->
139 IState -> IState -> Handle -> FilePath -> String ->
141 IState -> IState -> Handle -> FilePath -> String ->