# HG changeset patch
# User wenzelm
# Date 1455394922 -3600
# Node ID 9e95a4afb8c3fec2f636dd618bcf62ffd07ccd45
# Parent  d4e99aa28abce29cbf6edcaae1b3593f4cdc0b13
tuned signature;

diff -r d4e99aa28abc -r 9e95a4afb8c3 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Sat Feb 13 21:17:08 2016 +0100
+++ b/src/Pure/System/isabelle_process.scala	Sat Feb 13 21:22:02 2016 +0100
@@ -17,7 +17,7 @@
     val system_process =
       try {
         val script =
-          "\"$ISABELLE_PROCESS\" " + system_channel.prover_options +
+          "\"$ISABELLE_PROCESS\" -P " + system_channel.server_name +
             (if (prover_args == "") "" else " " + prover_args)
         val process = Bash.process(null, null, false, "-c", script)
         process.stdin.close
diff -r d4e99aa28abc -r 9e95a4afb8c3 src/Pure/System/system_channel.scala
--- a/src/Pure/System/system_channel.scala	Sat Feb 13 21:17:08 2016 +0100
+++ b/src/Pure/System/system_channel.scala	Sat Feb 13 21:22:02 2016 +0100
@@ -20,9 +20,7 @@
 {
   private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1"))
 
-  def params: List[String] = List("127.0.0.1", server.getLocalPort.toString)
-
-  def prover_options: String = "-P 127.0.0.1:" + server.getLocalPort
+  def server_name: String = "127.0.0.1:" + server.getLocalPort
 
   def rendezvous(): (OutputStream, InputStream) =
   {