diff options
| author | mihaylov <mihaylov@epfl.ch> | 2006-11-01 16:03:28 +0000 |
|---|---|---|
| committer | mihaylov <mihaylov@epfl.ch> | 2006-11-01 16:03:28 +0000 |
| commit | 257a1845d3db3477a0b5939e94d77b0495d89561 (patch) | |
| tree | 0aedf35621282407918e0f56b3b5ffc0952e6a14 /src/compiler/scala/tools/nsc/GenericRunnerSettings.scala | |
| parent | 8b0cd5cf7c2a682dd70d6b8ea32b521015bf2269 (diff) | |
| download | scala-257a1845d3db3477a0b5939e94d77b0495d89561.tar.gz scala-257a1845d3db3477a0b5939e94d77b0495d89561.tar.bz2 scala-257a1845d3db3477a0b5939e94d77b0495d89561.zip | |
Refactored portability support
Diffstat (limited to 'src/compiler/scala/tools/nsc/GenericRunnerSettings.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/GenericRunnerSettings.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/GenericRunnerSettings.scala b/src/compiler/scala/tools/nsc/GenericRunnerSettings.scala index 65b6745edd..4503abf241 100644 --- a/src/compiler/scala/tools/nsc/GenericRunnerSettings.scala +++ b/src/compiler/scala/tools/nsc/GenericRunnerSettings.scala @@ -6,6 +6,8 @@ // $Id$ package scala.tools.nsc + +import java.lang.System.getProperties import scala.collection.mutable.Queue class GenericRunnerSettings(error: String => Unit) @@ -60,7 +62,7 @@ extends Settings(error) { /** Apply the specified properties to the current JVM */ def applyToCurrentJVM = { - val systemProps = System.getProperties + val systemProps = getProperties for(val Pair(key, value) <- props.toList) systemProps.setProperty(key, value) } |