Get some diagnostic info on why the Idris REPL refuses your connection.
Or get an alert someone's trying to hack you, whatever.
commit398426dbab4e2c80f2c5971286c44685aee2e652
authorLeif Warner <abimelech@gmail.com>
dateSat 16 Nov 2013, 18:02 (13 years ago)
parent9449751
src/Idris/REPL.hs+3−1
@@ -133,7 +133,9 @@ startServer orig stvar fn_in = do tid <- runIO $ forkOS serverLoop
133133 putMVar stvar ist'
134134 hClose h
135135 loop fn ist' sock
136− else hClose h
136+ else do
137+ putStrLn $ "Closing connection attempt from non-localhost " ++ host
138+ hClose h
137139
138140processNetCmd :: MVar IState ->
139141 IState -> IState -> Handle -> FilePath -> String ->