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/CompileSocket.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/CompileSocket.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/CompileSocket.scala | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/CompileSocket.scala b/src/compiler/scala/tools/nsc/CompileSocket.scala index 1c600a1a38..d326aa433f 100644 --- a/src/compiler/scala/tools/nsc/CompileSocket.scala +++ b/src/compiler/scala/tools/nsc/CompileSocket.scala @@ -6,7 +6,10 @@ package scala.tools.nsc -import java.io._ +import java.lang.{Thread, System, Runtime} +import java.lang.NumberFormatException +import java.io.{File, IOException, PrintWriter, FileOutputStream} +import java.io.{BufferedReader, FileReader} import java.net._ object CompileSocket { @@ -131,7 +134,7 @@ object CompileSocket { else try { for (val i <- 1 until hits.length) hits(i).delete() - Integer.parseInt(hits(0).getName) + hits(0).getName.toInt } catch { case ex: NumberFormatException => fatal(ex.toString() + @@ -209,7 +212,7 @@ object CompileSocket { else { val hostName = serverAdr.substring(0, cpos) val port = try { - Integer.parseInt(serverAdr.substring(cpos+1)) + serverAdr.substring(cpos+1).toInt } catch { case ex: Throwable => fatal("Malformed server address: " + serverAdr + "; exiting") |