diff options
author | michelou <michelou@epfl.ch> | 2011-09-13 18:50:08 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2011-09-13 18:50:08 +0000 |
commit | ac7152b8bb4ec81a44bd1964a282c20c55d16729 (patch) | |
tree | ca67ee4513656dcc7146c0c37110c77f969d2233 /src/compiler/scala/tools/nsc/CompileServer.scala | |
parent | acc4c04b0c29436d2328d0e31a26bf2be4b96117 (diff) | |
download | scala-ac7152b8bb4ec81a44bd1964a282c20c55d16729.tar.gz scala-ac7152b8bb4ec81a44bd1964a282c20c55d16729.tar.bz2 scala-ac7152b8bb4ec81a44bd1964a282c20c55d16729.zip |
updated scaladoc comments, did some cleanup
Diffstat (limited to 'src/compiler/scala/tools/nsc/CompileServer.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/CompileServer.scala | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/compiler/scala/tools/nsc/CompileServer.scala b/src/compiler/scala/tools/nsc/CompileServer.scala index c23a671ef8..b10ac78ac7 100644 --- a/src/compiler/scala/tools/nsc/CompileServer.scala +++ b/src/compiler/scala/tools/nsc/CompileServer.scala @@ -29,9 +29,7 @@ class StandardCompileServer extends SocketServer { var shutdown = false var verbose = false - val versionMsg = "Fast Scala compiler " + - Properties.versionString + " -- " + - Properties.copyrightString + val versionMsg = "Fast " + Properties.versionMsg val MaxCharge = 0.8 @@ -175,8 +173,9 @@ object CompileServer extends StandardCompileServer { /** A directory holding redirected output */ private lazy val redirectDir = (compileSocket.tmpDir / "output-redirects").createDirectory() - private def redirect(setter: PrintStream => Unit, filename: String): Unit = + private def redirect(setter: PrintStream => Unit, filename: String) { setter(new PrintStream((redirectDir / filename).createFile().bufferedOutput())) + } def main(args: Array[String]) { val debug = args contains "-v" @@ -190,10 +189,10 @@ object CompileServer extends StandardCompileServer { redirect(System.setErr, "scala-compile-server-err.log") System.err.println("...starting server on socket "+port+"...") System.err.flush() - compileSocket.setPort(port) + compileSocket setPort port run() - compileSocket.deletePort(port) - sys.exit(0) + compileSocket deletePort port + sys exit 0 } } |