on master help sign in
Broaden the check introduced in 229975d61c7e5728ba to account for
fa52522Leif Warner
src/Idris/REPL.hs+3−1
@@ -121,7 +121,9 @@ startServer orig stvar fn_in = do tid <- runIO $ forkOS serverLoop
121
121
122 loop fn ist sock
122 loop fn ist sock
123 = do (h,host,_) <- accept sock
123 = do (h,host,_) <- accept sock
124+ -- just use the local part of the hostname
125+ -- for the "localhost.localdomain" case
124− if (host == "localhost" ||
126+ if ((takeWhile (/= '.') host) == "localhost" ||
125 host == "127.0.0.1")
127 host == "127.0.0.1")
126 then do
128 then do
127 cmd <- hGetLine h
129 cmd <- hGetLine h