# HG changeset patch
# User wenzelm
# Date 1708512210 -3600
# Node ID df1059ea8846f1dabf56dbf726f0a4adec1dc266
# Parent  0b58e85906a1a392dea9654dbb3dbe167490ac69
propagate property "isabelle.debug", notably for Java/Scala exception trace;

diff -r 0b58e85906a1 -r df1059ea8846 src/Pure/Build/build_cluster.scala
--- a/src/Pure/Build/build_cluster.scala	Mon Feb 19 16:25:06 2024 +0100
+++ b/src/Pure/Build/build_cluster.scala	Wed Feb 21 11:43:30 2024 +0100
@@ -189,7 +189,9 @@
       remote_isabelle
     }
 
-    def init(): Unit = remote_isabelle.init()
+    def init(): Unit =
+      remote_isabelle.init(other_settings =
+        remote_isabelle.init_components() ::: remote_isabelle.debug_settings())
 
     def benchmark(): Unit = {
       val script =
diff -r 0b58e85906a1 -r df1059ea8846 src/Pure/System/other_isabelle.scala
--- a/src/Pure/System/other_isabelle.scala	Mon Feb 19 16:25:06 2024 +0100
+++ b/src/Pure/System/other_isabelle.scala	Wed Feb 21 11:43:30 2024 +0100
@@ -147,6 +147,14 @@
     else error("Cannot proceed with existing user settings file: " + etc_settings)
   }
 
+  def debug_settings(): List[String] = {
+    val debug = System.getProperty("isabelle.debug", "") == "true"
+    if (debug) {
+      List("ISABELLE_JAVA_SYSTEM_OPTIONS=\"$ISABELLE_JAVA_SYSTEM_OPTIONS -Disabelle.debug=true\"")
+    }
+    else Nil
+  }
+
 
   /* init */