src/Pure/System/system_channel.scala
changeset 62299 9e95a4afb8c3
parent 62296 b04a5ddd6121
child 62306 5c0a5c30cda8
     1.1 --- a/src/Pure/System/system_channel.scala	Sat Feb 13 20:41:56 2016 +0100
     1.2 +++ b/src/Pure/System/system_channel.scala	Sat Feb 13 21:22:02 2016 +0100
     1.3 @@ -20,9 +20,7 @@
     1.4  {
     1.5    private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1"))
     1.6  
     1.7 -  def params: List[String] = List("127.0.0.1", server.getLocalPort.toString)
     1.8 -
     1.9 -  def prover_options: String = "-P 127.0.0.1:" + server.getLocalPort
    1.10 +  def server_name: String = "127.0.0.1:" + server.getLocalPort
    1.11  
    1.12    def rendezvous(): (OutputStream, InputStream) =
    1.13    {