In case anyone is thinking about investigating this:
don’t bother, the problem was not with reading from stdin at all, the problem was elsewhere. See thread here.
In case anyone is thinking about investigating this:
don’t bother, the problem was not with reading from stdin at all, the problem was elsewhere. See thread here.