diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-13 18:37:26 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-13 18:37:26 +0100 |
commit | 04abe41b784018586abe36c00ee5027536e0c024 (patch) | |
tree | 99dc6227dcd38023d55b9e3946d9bf5195db6271 /src | |
parent | b5f96ac5292a83b7585e49fafa078580d41d16bf (diff) |
clearer debugging
Diffstat (limited to 'src')
-rwxr-xr-x | src/fifa.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fifa.sh b/src/fifa.sh index be2f3a1..2e60d6f 100755 --- a/src/fifa.sh +++ b/src/fifa.sh @@ -177,7 +177,7 @@ ended_ok () [ "$1" != phase -a "$1" != worker ] && die_error "ended_ok's first argument must be a valid type (phase/worker)" object=$1_$2 exit_var=exit_$object - debug "Exit state of $object was: ${!exit_var} (if empty. it's not executed yet)" + debug "Ended_ok? -> Exit state of $object was: ${!exit_var} (if empty. it's not executed yet)" [ "${!exit_var}" = '0' ] && return 0 [ "${!exit_var}" = '' ] && return 1 return ${!exit_var} |