edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2025-01-04 19:05:25 +03:00
Code Issues Projects Releases Wiki Activity

Only display IDE port when listening

Browse Source
This commit is contained in:
Kevin Boulain 2019-07-27 14:47:37 +02:00
parent 81fefed3f3
commit 45329df3a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Idris/IDEMode/REPL.idr
View File

@ -54,7 +54,6 @@ initIDESocketFile p = do
putStrLn "Failed to open socket"
exit 1
Right sock => do
putStrLn (show p)
res <- bind sock (Just (Hostname "localhost")) p
if res /= 0
then
@ -65,6 +64,7 @@ initIDESocketFile p = do
then
pure (Left ("Failed to listen on socket with error: " ++ show res))
else do
putStrLn (show p)
res <- accept sock
case res of
Left err =>