Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prefer Unix-domain socket on Unix;
authorwenzelm
Fri, 24 Nov 2023 16:17:29 +0100
changeset 79050 4d8716098d41
parent 79049 10b6add456d0
child 79051 c87e4a5a3823
prefer Unix-domain socket on Unix;
src/Pure/System/isabelle_process.scala file | annotate | diff | comparison | revisions 
--- 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 =
isabelle