hannesm/Idris-dev — pull request #5 by david-christiansen (2014-08-04 15:52:23+00:00)
Title: Make --client use the correct handles

It's a bit of a hack - but the real solution is to make this feature use --ideslave now.