Merge pull request #1409 from vn971/0.13

make it possible to reference a branch of a local git repository
This commit is contained in:
eugene yokota 2014-06-24 23:00:45 -04:00
commit 172e091d9e
1 changed files with 1 additions and 1 deletions

View File

@ -832,7 +832,7 @@ object IO {
{
if (!uri.isAbsolute) return uri; //assertAbsolute(uri)
val str = uri.toASCIIString
val dirStr = if (str.endsWith("/") || uri.getScheme != FileScheme) str else str + "/"
val dirStr = if (str.endsWith("/") || uri.getScheme != FileScheme || Option(uri.getRawFragment).isDefined) str else str + "/"
(new URI(dirStr)).normalize
}
/** Converts the given File to a URI. If the File is relative, the URI is relative, unlike File.toURI*/