# HG changeset patch
# User wenzelm
# Date 1750066835 -7200
# Node ID 8d20404f53078b229fc006e2e4cc3637ec1aea65
# Parent  b6c55abf5243f1745f2f355871b525a35700b489
proper SSH operation (amending 956ecf2c07a0);

diff -r b6c55abf5243 -r 8d20404f5307 src/Pure/System/other_isabelle.scala
--- a/src/Pure/System/other_isabelle.scala	Mon Jun 16 11:38:14 2025 +0200
+++ b/src/Pure/System/other_isabelle.scala	Mon Jun 16 11:40:35 2025 +0200
@@ -106,7 +106,7 @@
       override def ml_system: String = getenv_strict("ML_SYSTEM")
 
       override def ml_platform: String =
-        if ((isabelle_home + Path.explode("lib/Tools/console")).is_file) {
+        if (ssh.is_file(isabelle_home + Path.explode("lib/Tools/console"))) {
           val Pattern = """.*val ML_PLATFORM = "(.*)".*""".r
           val input = """val ML_PLATFORM = Option.getOpt (OS.Process.getEnv "ML_PLATFORM", "")"""
           val result = bash("bin/isabelle console -r", input = input)