summaryrefslogtreecommitdiff
path: root/src/compiler/scala/tools/nsc/CompileServer.scala
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2011-09-13 18:50:08 +0000
committermichelou <michelou@epfl.ch>2011-09-13 18:50:08 +0000
commitac7152b8bb4ec81a44bd1964a282c20c55d16729 (patch)
treeca67ee4513656dcc7146c0c37110c77f969d2233 /src/compiler/scala/tools/nsc/CompileServer.scala
parentacc4c04b0c29436d2328d0e31a26bf2be4b96117 (diff)
downloadscala-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.scala13
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
}
}