src/Misc/layoutroot/safe_sleep.sh

#!/bin/bash

SECONDS=0
while [[ $SECONDS -lt $1 ]]; do
    :
done
Issue 1698: Use safe_sleep executable in bash scripts (#1707 ) 2022-03-01 14:08:52 +01:00			`#!/bin/bash`

			`SECONDS=0`
Update safe_sleep.sh for bug when scheduler is paused for more than 1 second (#3157 ) 2025-08-20 15:04:48 -04:00			`while [[ $SECONDS -lt $1 ]]; do`
Issue 1698: Use safe_sleep executable in bash scripts (#1707 ) 2022-03-01 14:08:52 +01:00			`:`
			`done`