This is the mail archive of the java-patches@gcc.gnu.org mailing list for the Java project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Patch: File(URI) constructor.


On Tue, 2004-07-06 at 08:54, Bryce McKinlay wrote:
> Should this use equalsIgnoreCase() ?

Sure.

> normalizePath() will do the separatorChar replacement already.
> 

Well, it does the following, which is different:

    // On Windows, convert any '/' to '\'.  This appears to be the same logic
    // that Sun's Win32 Java performs.
    if (separatorChar == '\\')
      p = p.replace ('/', '\\');
                                                                                                                        What happens when separatorChar is neither / nor \  ?  This is why I put my char replacement in.

AG

-- 
Anthony Green <green@redhat.com>
Red Hat, Inc.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]