# HG changeset patch
# User wenzelm
# Date 1612878936 -3600
# Node ID 5bded25065f80125af8b09cbcf82798e4eef137f
# Parent  3d805ab66a2fbdbcac276356cd422b100dbec6f3
more parallelism: avoid exhaustion of standard thread pool;

diff -r 3d805ab66a2f -r 5bded25065f8 src/Pure/System/bash.ML
--- a/src/Pure/System/bash.ML	Mon Feb 08 20:56:12 2021 +0100
+++ b/src/Pure/System/bash.ML	Tue Feb 09 14:55:36 2021 +0100
@@ -184,7 +184,7 @@
   end);
 
 fun process_scala script =
-  Scala.function "bash_process"
+  Scala.function_thread "bash_process"
     ("export ISABELLE_TMP=" ^ string (getenv "ISABELLE_TMP") ^ "\n" ^ script)
   |> YXML.parse_body
   |>