RFR: 8266019: StreamResult(File) writes to incorrect file path if # is part of the file path
Daniel Fuchs
dfuchs at openjdk.java.net
Wed Jun 2 20:17:37 UTC 2021
On Wed, 2 Jun 2021 18:17:43 GMT, Joe Wang <joehw at openjdk.org> wrote:
> Special characters are different in File and URI. Treat File input as File using FileInputStream instead of converting to an URI, but fall back to URI in case of error for compatibility (in error handling).
Argh! You're right. It's this line which is horribly wrong:
_ostream = new FileOutputStream(url.getFile());
OK - hopefully with your fix this becomes dead code?
-------------
PR: https://git.openjdk.java.net/jdk/pull/4318
More information about the core-libs-dev
mailing list