Update safe_sleep.sh for bug when scheduler is paused for more than 1 second (#3157)

This commit is contained in:
Doug Horner
2025-08-20 19:04:48 +00:00
committed by GitHub
parent 0ebdf9e83d
commit 20d82ad357
+1 -1
View File
@@ -1,6 +1,6 @@
#!/bin/bash #!/bin/bash
SECONDS=0 SECONDS=0
while [[ $SECONDS != $1 ]]; do while [[ $SECONDS -lt $1 ]]; do
: :
done done