diff options
Diffstat (limited to 'bin')
| -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 e02fcfb..cd16bb1 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" && unset COMMAND_EXIT' EXIT HUP | 84 | trap 'exec 1>&3; [ -n "COMMAND_EXIT" ] && eval "$COMMAND_EXIT" && unset COMMAND_EXIT; date >>/tmp/context' EXIT 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 |