On Thu, 22 Feb 2024 13:15:49 GMT, rjolly <[email protected]> wrote:

>> ChangedCharSetException is used to amend the charset during read according 
>> to html directives. Currently it causes immediate exit of the method which 
>> in turn causes failure to load html documents with charset directives (even 
>> if the latter must not change after all). This PR restores the catch 
>> operation as it was before the use of try with resources.
>
> Up

@rjolly Thank you for your contribution. Could you provide more details about 
the issue? The PR needs to be linked to a JBS issue. I'll create one for you 
after I get a more detailed description of the problem from you.

A test case is also welcome. And it's needed a regression test for the change 
anyway, if it's not hard to create. I believe a test case can be written for 
this issue.

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

PR Comment: https://git.openjdk.org/jdk/pull/17567#issuecomment-1989487531

Reply via email to