# HG changeset patch
# User wenzelm
# Date 1396545999 -7200
# Node ID 8185044353fd2ab744353e45dc811cc46341364f
# Parent  e49561ae3b651d5b9978eaf692a9a67c49998784
recovered public command_line from d92eb5c3960d, which is important for alternative prover processes;

diff -r e49561ae3b65 -r 8185044353fd src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Thu Apr 03 18:39:42 2014 +0200
+++ b/src/Pure/System/isabelle_process.scala	Thu Apr 03 19:26:39 2014 +0200
@@ -74,13 +74,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 ::: prover_args)
+      val cmdline = command_line(system_channel, prover_args)
       new Isabelle_System.Managed_Process(null, null, false, cmdline: _*)
     }
     catch { case e: IOException => system_channel.accepted(); throw(e) }