Re: Patch: File(URI) constructor.

[Anthony Green]

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 <address@hidden>
Red Hat, Inc.