Changed compile server to make it more robust;

Some stylistic cleanups elsewhere

1 files changed, 4 insertions, 4 deletions

diff --git a/src/compiler/scala/tools/ant/ScalaTool.scala b/src/compiler/scala/tools/ant/ScalaTool.scala
index 64277636ce..f0898a1f04 100644
--- a/src/compiler/scala/tools/ant/ScalaTool.scala
+++ b/src/compiler/scala/tools/ant/ScalaTool.scala
@@ -115,7 +115,7 @@ package scala.tools.ant {
     /** Sets the platforms attribute. Used by Ant.
       * @param input The value for <code>platforms</code>. */
     def setPlatforms(input: String) = {
-      platforms = List.fromArray(input.split(",")).flatMap(s: String => {
+      platforms = List.fromArray(input.split(",")).flatMap { s: String =>
         val st = s.trim()
         if (Platforms.isPermissible(st))
           (if (input != "") List(st) else Nil)
@@ -123,7 +123,7 @@ package scala.tools.ant {
           error("Platform " + st + " does not exist.")
           Nil
         }
-      })
+      }
     }
 
     /** Sets the version attribute. Used by Ant.
@@ -149,12 +149,12 @@ package scala.tools.ant {
     /** Sets the properties attribute. Used by Ant.
       * @param input The value for <code>properties</code>. */
     def setProperties(input: String) = {
-      properties = List.fromArray(input.split(",")).flatMap(s: String => {
+      properties = List.fromArray(input.split(",")).flatMap { s: String =>
         val st = s.trim(); val stArray = st.split("=", 2)
         if (stArray.length == 2) {
           if (input != "") List(Pair(stArray(0), stArray(1))) else Nil
         } else error("Property " + st + " does not conform to specification.")
-      })
+      }
     }
 
     /** Sets the version attribute. Used by Ant.