normalize slashes in custom IO.toURI function. fixes #105.

This commit is contained in:
Mark Harrah 2011-07-13 18:08:29 -04:00
parent 3eef6229db
commit 0e5533786c
1 changed files with 1 additions and 1 deletions

View File

@ -617,7 +617,7 @@ object IO
(new URI(dirStr)).normalize
}
/** Converts the given File to a URI. If the File is relative, the URI is relative, unlike File.toURI*/
def toURI(f: File): URI = if(f.isAbsolute) f.toURI else new URI(f.getPath)
def toURI(f: File): URI = if(f.isAbsolute) f.toURI else new URI(normalizeName(f.getPath))
def resolve(base: File, f: File): File =
{
assertAbsolute(base)