# HG changeset patch
# User wenzelm
# Date 1717704200 -7200
# Node ID 198fc882ec0f45752df2f8b2775d95eee391f8f3
# Parent  1d43005063384bbd3759a8012d5a1dd2ab36457c
tuned whitespace;

diff -r 1d4300506338 -r 198fc882ec0f src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Thu Jun 06 21:48:36 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Thu Jun 06 22:03:20 2024 +0200
@@ -1153,7 +1153,7 @@
       List(pending, running, finished).foreach(dir =>
         sync_permissions(Isabelle_System.make_directory(dir)))
 
-    val ssh_group: String= options.string("build_manager_ssh_group")
+    val ssh_group: String = options.string("build_manager_ssh_group")
 
     def open_ssh(): SSH.Session =
       SSH.open_session(options,
diff -r 1d4300506338 -r 198fc882ec0f src/Pure/System/bash.scala
--- a/src/Pure/System/bash.scala	Thu Jun 06 21:48:36 2024 +0200
+++ b/src/Pure/System/bash.scala	Thu Jun 06 22:03:20 2024 +0200
@@ -378,7 +378,7 @@
                 Isabelle_System.settings(
                   XML.Decode.list(XML.Decode.pair(XML.Decode.string, XML.Decode.string))(
                     YXML.parse_body(putenv))),
-              redirect= redirect)
+              redirect = redirect)
           }
           match {
             case Exn.Exn(exn) => reply_failure(exn)