tuned;
authorwenzelm
Sun Feb 14 13:11:19 2016 +0100 (2016-02-14)
changeset 623065c0a5c30cda8
parent 62305 fe01c4c7931a
child 62307 ccbd48444049
tuned;
src/Pure/System/system_channel.scala
     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    {