Problem with .next() method adding junk characters.

[Terry Reedy]

"Rainy" <ak at silmarill.org> wrote in message 
news:1159815294.457908.46190 at e3g2000cwe.googlegroups.com...
>
> Paul McGuire wrote:
>> I would guess then that the likely extent of any fix to this "bug" would 
>> be
>> documentation to the effect of Fredrik's last comment above.
>
> Thanks.. I get it now. Should I close the bug report then?

Either that, or change it to a doc bug and suggest the addition to the 
beginning of the second paragraph of
"When switching from reading or writing (or vice versa), call flush(), or 
the result will be undefined."

Terry Jan Reedy