From 8d3530509d222fd6052405df081e972eb699d13e Mon Sep 17 00:00:00 2001 From: Hsieh Chin Fan Date: Wed, 19 Apr 2023 09:42:54 +0800 Subject: Update --- bin/unix/timer.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin/unix/timer.sh') diff --git a/bin/unix/timer.sh b/bin/unix/timer.sh index 37db79d..e02fcfb 100755 --- a/bin/unix/timer.sh +++ b/bin/unix/timer.sh @@ -81,7 +81,7 @@ timer() { done } -trap 'exec 1>&3; [ -n "COMMAND_EXIT" ] && eval "$COMMAND_EXIT" && unset COMMAND_EXIT' EXIT QUIT HUP +trap 'exec 1>&3; [ -n "COMMAND_EXIT" ] && eval "$COMMAND_EXIT" && unset COMMAND_EXIT' EXIT HUP while [ $count -lt $SET ]; do [ $stop = true ] && sleep 0.3 && continue -- cgit v1.2.3-70-g09d2