diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/tools/nsc/MainGenericRunner.scala | 22 |
1 files changed, 6 insertions, 16 deletions
diff --git a/src/compiler/scala/tools/nsc/MainGenericRunner.scala b/src/compiler/scala/tools/nsc/MainGenericRunner.scala index c5b903066f..7846ed847c 100644 --- a/src/compiler/scala/tools/nsc/MainGenericRunner.scala +++ b/src/compiler/scala/tools/nsc/MainGenericRunner.scala @@ -101,22 +101,12 @@ object MainGenericRunner { try { Some(new URL(spec)) } catch { case e => Console.println(e); None } - def urls(specs: String): List[URL] = { - val urls = - if (specs == null || specs.length == 0) Nil - else for ( - spec <- specs.split(" ").toList; - val url = specToURL(spec); if !url.isEmpty - ) yield url.get - if (!urls.isEmpty && (System.getSecurityManager == null)) { - // Here we require a security manager to be present ! - // Security permissions are defined in a user-defined - // file to be specified in the environment variable - // JAVA_OPTS="-Djava.security.policy=scala.policy" - System.setSecurityManager(new SecurityManager()) - } - urls - } + def urls(specs: String): List[URL] = + if (specs == null || specs.length == 0) Nil + else for ( + spec <- specs.split(" ").toList; + val url = specToURL(spec); if !url.isEmpty + ) yield url.get val classpath: List[URL] = paths(settings.bootclasspath.value) ::: |