On Thu, 11 Mar 2021 20:54:12 GMT, Brian Burkhalter <[email protected]> wrote:
>>> Yes, I noticed that as well. I didn?t think it was worth complicating
>>> things for the purpose of this issue to address it.
>>
>> I guess what I was trying to ask is whether we should actually specify that
>> `print` and `append` call `flush` - as this seems to be a side effect of
>> some optimization.
>> Maybe we should say that the implementation ensures that flush is called
>> when writing a byte array or when a newline character or byte ({@code
>> '\n'}) is written - but might call it in additional unspecified
>> circumstances?
>
> I think you are correct. In the second commit I scaled back the change to the
> class level specification. I left out any mention of "unspecified
> circumstances."
Is there any further comment on this request? Thanks.
-------------
PR: https://git.openjdk.java.net/jdk/pull/2926
