diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 16:15:08 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 16:15:08 +0100 |
commit | cc469c647c3fbae1b547d78aeca193a47971c92e (patch) | |
tree | 6496b528ce468b3eab9d9ee5bda3067f76e2339f /src | |
parent | 4f449690b6be1a5114c121ffe0cef155e3440ca1 (diff) |
typo fix
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 3c1de6c..ba10a73 100755 --- a/src/fifa.sh +++ b/src/fifa.sh @@ -170,7 +170,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 $objecct was: ${!exit_var} (if empty. it's not executed yet)" + debug "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} |