Integrated: 8367943: PipedOutputStream write(0, 0) successful after close()

[Brian Burkhalter]

On Thu, 30 Oct 2025 23:41:07 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

> Update the specification of `java.io.PipedOutputStream.write(byte[],int,int)` to match longstanding behavior. Add a verification to an existing test.

This pull request has now been integrated.

Changeset: 13211865
Author:    Brian Burkhalter <bpb at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/1321186547bddd3f8615cf5d110489ec383f47ab
Stats:     33 lines in 2 files changed: 13 ins; 3 del; 17 mod

8367943: PipedOutputStream write(0, 0) successful after close()

Reviewed-by: rriggs, jpai

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

PR: https://git.openjdk.org/jdk/pull/28078