1.1 --- a/src/Pure/System/system_channel.scala Sun Feb 14 12:50:46 2016 +0100
1.2 +++ b/src/Pure/System/system_channel.scala Sun Feb 14 13:11:19 2016 +0100
1.3 @@ -20,7 +20,8 @@
1.4 {
1.5 private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1"))
1.6
1.7 - def server_name: String = "127.0.0.1:" + server.getLocalPort
1.8 + val server_name: String = "127.0.0.1:" + server.getLocalPort
1.9 + override def toString: String = server_name
1.10
1.11 def rendezvous(): (OutputStream, InputStream) =
1.12 {