# HG changeset patch
# User wenzelm
# Date 1700839049 -3600
# Node ID 4d8716098d4153883c087fbb66de62c60bc290b5
# Parent  10b6add456d0af3033ee8a21d01e3c93f4be0916
prefer Unix-domain socket on Unix;

diff -r 10b6add456d0 -r 4d8716098d41 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Fri Nov 24 15:58:24 2023 +0100
+++ b/src/Pure/System/isabelle_process.scala	Fri Nov 24 16:17:29 2023 +0100
@@ -23,7 +23,7 @@
     cwd: JFile = null,
     env: JMap[String, String] = Isabelle_System.settings()
   ): Isabelle_Process = {
-    val channel = System_Channel()
+    val channel = System_Channel(unix_domain = Platform.is_unix)
     val process =
       try {
         val ml_options =