# HG changeset patch
# User wenzelm
# Date 1717328184 -7200
# Node ID 305d2f4a395f946f07ceb1e2345e7e6fa5315a4e
# Parent  c6670f9575dedc98dfd843bc5e5ee61c5ef5c7ec
more robust: avoid crash of sleep() for negative time;

diff -r c6670f9575de -r 305d2f4a395f src/Pure/System/bash.scala
--- a/src/Pure/System/bash.scala	Sat Jun 01 21:52:31 2024 +0200
+++ b/src/Pure/System/bash.scala	Sun Jun 02 13:36:24 2024 +0200
@@ -83,7 +83,7 @@
   }
   class Watchdog private(val time: Time, val check: Process => Boolean) {
     override def toString: String = "Bash.Watchdog(" + time + ")"
-    def defined: Boolean = !time.is_zero
+    def defined: Boolean = time > Time.zero
   }
 
   def process(script: String,