On 14/11/2017 16:59, Patrick Reinhart wrote:
Sorry, there was a typo in my mail that Brian picked up on. I think we are converging on:: And what should it be then here? I’m a bit confused now…
"If the destination is capacity bounded and has insufficient capacity to append all characters read from the source then the exception may be thrown after transferring some characters to the destination".
-Alan
