From 20d82ad3576f7a65dbebe2df67429d264d56faef Mon Sep 17 00:00:00 2001 From: Doug Horner Date: Wed, 20 Aug 2025 15:04:48 -0400 Subject: [PATCH] Update safe_sleep.sh for bug when scheduler is paused for more than 1 second (#3157) --- src/Misc/layoutroot/safe_sleep.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Misc/layoutroot/safe_sleep.sh b/src/Misc/layoutroot/safe_sleep.sh index 7ba5be325..0c7d12f13 100644 --- a/src/Misc/layoutroot/safe_sleep.sh +++ b/src/Misc/layoutroot/safe_sleep.sh @@ -1,6 +1,6 @@ #!/bin/bash SECONDS=0 -while [[ $SECONDS != $1 ]]; do +while [[ $SECONDS -lt $1 ]]; do : done