0548109 · Idris-dev · git.iko.soy

idris.cabal+1

compare with master

unifiedsplit

@@ -357,6 +357,7 @@ Executable idris

357 , Util.Pretty

358 , Util.System

359 , Util.DynamicLinker

360+ , Util.Net

360

361

361 , Pkg.Package

362 , Pkg.Package

362 , Pkg.PParser

363 , Pkg.PParser

src/Idris/REPL.hs+2−1

@@ -27,6 +27,7 @@ import Idris.CaseSplit

27import Paths_idris

28import Util.System

29import Util.DynamicLinker

30+import Util.Net (listenOnLocalhost)

30

31

31import Core.Evaluate

32import Core.Evaluate

32import Core.Execute (execute)

33import Core.Execute (execute)

@@ -111,7 +112,7 @@ startServer orig stvar fn_in = do tid <- runIO $ forkOS serverLoop

111 where serverLoop :: IO ()

112 where serverLoop :: IO ()

112 -- TODO: option for port number

113 -- TODO: option for port number

113 serverLoop = withSocketsDo $

114 serverLoop = withSocketsDo $

114− do sock <- listenOn $ PortNumber 4294

115+ do sock <- listenOnLocalhost $ PortNumber 4294

115 i <- readMVar stvar

116 i <- readMVar stvar

116 loop fn i sock

117 loop fn i sock

117

118

src/Util/Net.hsnew file+22

@@ -0,0 +1,22 @@

1+module Util.Net (listenOnLocalhost) where

2+

3+import Network

4+import Network.Socket hiding (sClose, PortNumber)

5+import Network.BSD (getProtocolNumber)

6+import Control.Exception (bracketOnError)

7+

8+-- Copied from upstream impl of listenOn

9+-- bound to localhost interface instead of iNADDR_ANY

10+listenOnLocalhost (PortNumber port) = do

11+ proto <- getProtocolNumber "tcp"

12+ localhost <- inet_addr "127.0.0.1"

13+ bracketOnError

14+ (socket AF_INET Stream proto)

15+ (sClose)

16+ (\sock -> do

17+ setSocketOption sock ReuseAddr 1

18+ bindSocket sock (SockAddrInet port localhost)

19+ listen sock maxListenQueue

20+ return sock

21+ )

22+