diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 10:47:13 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 10:47:13 +0100 |
commit | e5e0c99354dd9a7c05c2ef643d2b4787ffdf4e5a (patch) | |
tree | 545556fa290d1bec7e29773a7d5d1bd497c30445 | |
parent | 71b105bbf53ad735aa94230ec4ac764813392e8c (diff) |
return code of worker/phase fix
-rwxr-xr-x | src/fifa.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/fifa.sh b/src/fifa.sh index 38b681f..69d8b34 100755 --- a/src/fifa.sh +++ b/src/fifa.sh @@ -147,10 +147,13 @@ execute () then PWD_BACKUP=`pwd` $1_$2 + ret=$? cd $PWD_BACKUP else die_error "$1 $2 is not defined!" fi + + return $? } |