diff options
-rwxr-xr-x | sup | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -12,7 +12,7 @@ times_ran=0 cleanup() { if [ -n "$pid" ]; then - echo "killed... $pid" + echo "killed... $pid" >&2 kill $pid fi exit @@ -23,16 +23,16 @@ trap cleanup 2 15 while :; do times_ran=$(($times_ran+1)) if [ $times_ran -gt $delay_after ]; then - echo "sleeping for $delay seconds after $(($times_ran-1)) runs in $delay_reset_after seconds" + echo "sleeping for $delay seconds after $(($times_ran-1)) runs in $delay_reset_after seconds" >&2 sleep $delay fi time_started=`date +%s` - echo -n "running... " + echo -n "running... " >&2 $command & pid=$! - echo PID: $pid + echo PID: $pid >&2 wait $pid pid="" |