--- 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
--- 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) =
{