In launcher configuration parser, convert '/' in paths to platform separator

This commit is contained in:
Mark Harrah 2009-10-24 13:27:07 -04:00
parent 92fc01f185
commit 4143aff1dc
1 changed files with 1 additions and 1 deletions

View File

@ -60,7 +60,7 @@ class ConfigurationParser extends NotNull
val (b, m) = id(map, name, default.toString)
(toBoolean(b), m)
}
def toFile(path: String): File = new File(path)// if the path is relative, it will be resolve by Launch later
def toFile(path: String): File = new File(path.replace('/', File.separatorChar))// if the path is relative, it will be resolve by Launch later
def file(map: LabelMap, name: String, default: File): (File, LabelMap) =
(getOrNone(map, name).map(toFile).getOrElse(default), map - name)