--- a/src/Pure/System/system_channel.scala Mon Sep 30 22:01:46 2013 +0900
+++ b/src/Pure/System/system_channel.scala Tue Oct 01 12:53:24 2013 +0200
@@ -21,6 +21,7 @@
abstract class System_Channel
{
+ def params: List[String]
def isabelle_args: List[String]
def rendezvous(): (OutputStream, InputStream)
def accepted(): Unit
@@ -57,6 +58,8 @@
private val fifo1 = mk_fifo()
private val fifo2 = mk_fifo()
+ def params: List[String] = List(fifo1, fifo2)
+
val isabelle_args: List[String] = List ("-W", fifo1 + ":" + fifo2)
def rendezvous(): (OutputStream, InputStream) =
@@ -76,6 +79,8 @@
{
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 isabelle_args: List[String] = List("-T", "127.0.0.1:" + server.getLocalPort)
def rendezvous(): (OutputStream, InputStream) =