idris-lang/Idris-dev — pull request #922 by LeifW (2014-02-23 05:30:48+00:00)
Title: Don't check hostname on network connections to REPL from editors.

It's already restricted to only listening on the 127.0.0.1 interface;
the additional check might just be being paranoid. Doesn't seem like
this kind of thing is a huge security concern, anyways.
Fixes #916.
Think I saw someone else complain about this too, recently.