5bfe037 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Set the handles used for --client to use UTF-8

5bfe037Melvar Chen12 years ago

src/Idris/REPL.hs+2

@@ -151,6 +151,7 @@ startServer orig fn_in = do tid <- runIO $ forkOS serverLoop

151

152 loop fn ist sock

153 = do (h,_,_) <- accept sock

154+ hSetEncoding h utf8

154 cmd <- hGetLine h

155 cmd <- hGetLine h

155 (ist', fn) <- processNetCmd orig ist h fn cmd

156 (ist', fn) <- processNetCmd orig ist h fn cmd

156 hClose h

157 hClose h

@@ -189,6 +190,7 @@ processNetCmd orig i h fn cmd

189runClient :: String -> IO ()

190runClient :: String -> IO ()

190runClient str = withSocketsDo $ do

191runClient str = withSocketsDo $ do

191 h <- connectTo "localhost" (PortNumber 4294)

192 h <- connectTo "localhost" (PortNumber 4294)

193+ hSetEncoding h utf8

192 hPutStrLn h str

194 hPutStrLn h str

193 resp <- hGetResp "" h

195 resp <- hGetResp "" h

194 putStr resp

196 putStr resp