# HG changeset patch
# User wenzelm
# Date 1700855892 -3600
# Node ID badb3da19ac69d6afd24b7d49c910bae37dbe76c
# Parent  d5cf21ad8b4774219848fac744110470f5348afa
disable unix_domain for now: somewhat unstable, e.g. "isabelle build -b HOL-Analysis" on arm64_32-darwin (studio1);

diff -r d5cf21ad8b47 -r badb3da19ac6 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Fri Nov 24 19:42:53 2023 +0100
+++ b/src/Pure/System/isabelle_process.scala	Fri Nov 24 20:58:12 2023 +0100
@@ -23,7 +23,7 @@
     cwd: JFile = null,
     env: JMap[String, String] = Isabelle_System.settings()
   ): Isabelle_Process = {
-    val channel = System_Channel(unix_domain = Platform.is_unix)
+    val channel = System_Channel()
     val process =
       try {
         val ml_options =
diff -r d5cf21ad8b47 -r badb3da19ac6 src/Pure/System/system_channel.scala
--- a/src/Pure/System/system_channel.scala	Fri Nov 24 19:42:53 2023 +0100
+++ b/src/Pure/System/system_channel.scala	Fri Nov 24 20:58:12 2023 +0100
@@ -13,7 +13,7 @@
 
 
 object System_Channel {
-  def apply(unix_domain: Boolean = Platform.is_unix): System_Channel =
+  def apply(unix_domain: Boolean = false): System_Channel =
     if (unix_domain) new Unix else new Inet
 
   class Inet extends System_Channel(StandardProtocolFamily.INET) {