--- a/src/Pure/System/isabelle_system.scala Wed Mar 04 21:09:02 2020 +0100
+++ b/src/Pure/System/isabelle_system.scala Fri Mar 06 20:18:21 2020 +0100
@@ -317,6 +317,9 @@
result(progress_stdout, progress_stderr, progress_limit, strict)
}
+ def jconsole(): Process_Result =
+ bash("isabelle_jdk jconsole " + java.lang.ProcessHandle.current().pid).check
+
private lazy val gnutar_check: Boolean =
try { bash("tar --version").check.out.containsSlice("GNU tar") || error("") }
catch { case ERROR(_) => false }