idris-lang/Idris-dev — pull request #1566 by edwinb (2014-09-30 22:22:45+00:00)
Title: Exit after running --client

Otherwise tools which use --client such as the vim mode don't work since they can't capture the output fully.