--- a/src/Pure/System/progress.scala Sat Jun 01 21:49:50 2024 +0200
+++ b/src/Pure/System/progress.scala Sat Jun 01 21:52:31 2024 +0200
@@ -98,14 +98,14 @@
env: JMap[String, String] = Isabelle_System.settings(), // ignored for remote ssh
redirect: Boolean = false,
echo: Boolean = false,
- watchdog: Time = Time.zero,
+ watchdog_time: Time = Time.zero,
strict: Boolean = true
): Process_Result = {
val result =
Isabelle_System.bash(script, ssh = ssh, cwd = cwd, env = env, redirect = redirect,
progress_stdout = echo_if(echo, _),
progress_stderr = echo_if(echo, _),
- watchdog = Bash.Watchdog(watchdog, _ => stopped),
+ watchdog = Bash.Watchdog(watchdog_time, _ => stopped),
strict = strict)
if (strict && stopped) throw Exn.Interrupt() else result
}
--- a/src/Pure/Thy/document_build.scala Sat Jun 01 21:49:50 2024 +0200
+++ b/src/Pure/Thy/document_build.scala Sat Jun 01 21:52:31 2024 +0200
@@ -456,7 +456,7 @@
build_script(context, directory),
cwd = directory.doc_dir,
echo = verbose,
- watchdog = Time.seconds(0.5))
+ watchdog_time = Time.seconds(0.5))
val log = result.out_lines ::: result.err_lines
val err = result.err