RFR: 8367943: PipedOutputStream write(0, 0) successful after close() [v2]

[Brian Burkhalter]

On Fri, 31 Oct 2025 14:16:47 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

>> Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   8367943: positive -> greater than zero
>
> src/java.base/share/classes/java/io/PipedOutputStream.java line 141:
> 
>> 139:      * @throws  IOException if the pipe is <a href=#BROKEN> broken</a>,
>> 140:      *          {@link #connect(java.io.PipedInputStream) unconnected},
>> 141:      *          closed and {@code len} is positive,
> 
> Though "positive" is correct, fewer people will be puzzled if you say `len is greater than zero`.

So changed in commit [06f0a11](https://github.com/openjdk/jdk/pull/28078/commits/06f0a11a41ecc9a7d27f742218f03f153bb3c58b).

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/28078#discussion_r2482001473