It would be nice if we could easily convert from a URL to a File similar to
the functionality we currently have for URIs.
e.g.
public File(URL url) {
new File(new URI(url.toExternalForm()));
}
-- iag@sfbay 2002-06-12
the functionality we currently have for URIs.
e.g.
public File(URL url) {
new File(new URI(url.toExternalForm()));
}
-- iag@sfbay 2002-06-12
- duplicates
-
JDK-4636168 File construction using URL and Channel access
-
- Closed
-
- relates to
-
JDK-4701417 convenience method URL.toURI()
-
- Closed
-
-
-
- Closed
-