src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Thu Jul 19 19:12:58 2012 +0200
+++ b/src/Pure/System/isabelle_process.scala	Thu Jul 19 20:02:44 2012 +0200
@@ -137,7 +137,7 @@
       val cmdline =
         Isabelle_System.getenv_strict("ISABELLE_PROCESS") ::
           (system_channel.isabelle_args ::: args)
-      new Isabelle_System.Managed_Process(false, cmdline: _*)
+      new Isabelle_System.Managed_Process(null, null, false, cmdline: _*)
     }
     catch { case e: IOException => system_channel.accepted(); throw(e) }