--- a/src/Pure/System/isabelle_process.scala Mon Sep 30 22:01:46 2013 +0900
+++ b/src/Pure/System/isabelle_process.scala Tue Oct 01 12:53:24 2013 +0200
@@ -64,7 +64,7 @@
class Isabelle_Process(
receiver: Isabelle_Process.Message => Unit = Console.println(_),
- args: List[String] = Nil)
+ arguments: List[String] = Nil)
{
import Isabelle_Process._
@@ -126,13 +126,14 @@
/** process manager **/
+ def command_line(channel: System_Channel, args: List[String]): List[String] =
+ Isabelle_System.getenv_strict("ISABELLE_PROCESS") :: (channel.isabelle_args ::: args)
+
private val system_channel = System_Channel()
private val process =
try {
- val cmdline =
- Isabelle_System.getenv_strict("ISABELLE_PROCESS") ::
- (system_channel.isabelle_args ::: args)
+ val cmdline = command_line(system_channel, arguments)
new Isabelle_System.Managed_Process(null, null, false, cmdline: _*)
}
catch { case e: IOException => system_channel.accepted(); throw(e) }