java/io/File.toURI()

Andrew Haley aph@redhat.com
Fri Jan 28 19:37:00 GMT 2005


Just a simple mistake, I think.

Andrew.


2005-01-28  Andrew Haley  <aph@redhat.com>

	* java/io/File.java: The filename should be passed to the
	scheme-specific part of a URI, not the fragment part.

Index: java/io/File.java
===================================================================
RCS file: /cvs/gcc/gcc/libjava/java/io/File.java,v
retrieving revision 1.42
diff -p -2 -c -r1.42 File.java
*** java/io/File.java   9 Sep 2004 09:43:33 -0000       1.42
--- java/io/File.java   28 Jan 2005 19:34:29 -0000
*************** public class File implements Serializabl
*** 937,941 ****
      try
        {
!       return new URI("file", "", abspath.replace(separatorChar, '/'));
        }
      catch (URISyntaxException use)
--- 937,941 ----
      try
        {
!       return new URI("file", abspath.replace(separatorChar, '/'), "");
        }
      catch (URISyntaxException use)



More information about the Java-patches mailing list