[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Patch: File(URI) constructor.
From: |
Anthony Green |
Subject: |
Re: Patch: File(URI) constructor. |
Date: |
Tue, 06 Jul 2004 09:07:45 -0700 |
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.