[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
java.io.File#toURI()
From: |
Ito Kazumitsu |
Subject: |
java.io.File#toURI() |
Date: |
Tue, 01 Jun 2004 23:48:02 +0900 |
User-agent: |
EMH/1.10.0 SEMI/1.13.7 (Awazu) FLIM/1.13.2 (Kasanui) Emacs/21.2 (i386-unknown-freebsd4.7) MULE/5.0 (SAKAKI) |
Hi,
I am afraid java.io.File#toURI() is not correctly implemented now.
Suggested patch:
ChangeLog entry:
2004-06-01 Ito Kazumitsu <address@hidden>
* libraries/javalib/java/io/File.java
(toURI): Use new URI(scheme, userInfo, host, port, path,
query, fragment).
--- java/io/File.java.orig Tue Jun 1 22:52:28 2004
+++ java/io/File.java Tue Jun 1 23:40:33 2004
@@ -781,7 +781,8 @@
try
{
- return new URI("file", "", abspath.replace(separatorChar, '/'));
+ return new URI("file", null, null, -1,
+ abspath.replace(separatorChar, '/'), null, null);
}
catch (URISyntaxException use)
{
- java.io.File#toURI(),
Ito Kazumitsu <=