public closeInput() as Void
Sends EOF to stdin while leaving stdout readable. Idempotent.
channel.closeInput(); count = channel.readInto(buffer)