src/Pure/System/bash.scala

       cmd.add("/usr/bin/env")
       cmd.add("bash")
     }
     cmd.add("-c")
     cmd.add("kill -" + signal + " -" + group_pid)
-    val (_, rc) = Isabelle_Env.process_output(Isabelle_Env.process(cmd))
-    rc == 0
+    Isabelle_Env.exec_process(cmd).ok
   }
 
   def process(script: String,
       cwd: JFile = null,
       env: Map[String, String] = Isabelle_System.settings(),

 
     private val script_file: JFile = Isabelle_System.tmp_file("bash_script")
     File.write(script_file, winpid_script)
 
     private val proc =
-      Isabelle_Env.process(
+      Isabelle_Env.process_builder(
         JList.of(File.platform_path(Path.variable("ISABELLE_BASH_PROCESS")),
           File.standard_path(timing_file), "bash", File.standard_path(script_file)),
-        cwd = cwd, env = env, redirect = redirect)
+        cwd = cwd, env = env, redirect = redirect).start()
 
 
     // channels
 
     val stdin: BufferedWriter =