diff options
author | Hsieh Chin Fan <pham@topo.tw> | 2023-04-18 21:00:43 +0800 |
---|---|---|
committer | Hsieh Chin Fan <pham@topo.tw> | 2023-04-18 21:00:43 +0800 |
commit | ac0503ad0965768d6280b367452be05a85e3cd28 (patch) | |
tree | dc508620ca8ff256440230be6b0b5e064d950db1 | |
parent | b340a5b02ae1d971d66071017886cdd2705ddc32 (diff) |
Update
-rwxr-xr-x | bin/unix/timer.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/unix/timer.sh b/bin/unix/timer.sh index b7f941e..37db79d 100755 --- a/bin/unix/timer.sh +++ b/bin/unix/timer.sh | |||
@@ -81,7 +81,7 @@ timer() { | |||
81 | done | 81 | done |
82 | } | 82 | } |
83 | 83 | ||
84 | trap 'exec 1>&3; [ -n "COMMAND_EXIT" ] && eval "$COMMAND_EXIT"' EXIT QUIT HUP | 84 | trap 'exec 1>&3; [ -n "COMMAND_EXIT" ] && eval "$COMMAND_EXIT" && unset COMMAND_EXIT' EXIT QUIT HUP |
85 | 85 | ||
86 | while [ $count -lt $SET ]; do | 86 | while [ $count -lt $SET ]; do |
87 | [ $stop = true ] && sleep 0.3 && continue | 87 | [ $stop = true ] && sleep 0.3 && continue |