From 4143aff1dc9aa663a28fc30dd7a6e786b4234f55 Mon Sep 17 00:00:00 2001 From: Mark Harrah Date: Sat, 24 Oct 2009 13:27:07 -0400 Subject: [PATCH] In launcher configuration parser, convert '/' in paths to platform separator --- launch/ConfigurationParser.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/launch/ConfigurationParser.scala b/launch/ConfigurationParser.scala index 26c285e21..55f8e4160 100644 --- a/launch/ConfigurationParser.scala +++ b/launch/ConfigurationParser.scala @@ -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)