RE: FilterOutputStream.close() throws exception from flush()

2012-02-10 Thread Ludwig, Mark
012 7:16 AM To: core-libs-...@openjdk.java.net; jdk8-dev@openjdk.java.net Subject: Re: FilterOutputStream.close() throws exception from flush() I think I have narrowed it down to this changeset: http://hg.openjdk.java.net/hsx/hotspot-rt/jdk/rev/759aa847dcaf 7015589: (spec) BufferedWriter.close l

Re: FilterOutputStream.close() throws exception from flush()

2012-02-10 Thread Alan Bateman
On 10/02/2012 13:16, Alex Lam S.L. wrote: I think I have narrowed it down to this changeset: http://hg.openjdk.java.net/hsx/hotspot-rt/jdk/rev/759aa847dcaf 7015589: (spec) BufferedWriter.close leaves stream open if close of underlying Writer fails Which no longer catches and ignores the except

Re: FilterOutputStream.close() throws exception from flush()

2012-02-10 Thread Alex Lam S.L.
I think I have narrowed it down to this changeset: http://hg.openjdk.java.net/hsx/hotspot-rt/jdk/rev/759aa847dcaf 7015589: (spec) BufferedWriter.close leaves stream open if close of underlying Writer fails Which no longer catches and ignores the exception thrown by flush(): try (OutputStream os