stdio server never exits on stdin EOF while the client leaves stdout unread

stdio server never exits on stdin EOF while the client leaves stdout unread #8719