diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 17:07:25 +0100 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 17:07:25 +0100 |
commit | d2e430228f61b78a31729654506af342f6e15703 (patch) | |
tree | 92d78af2d707072ffdef91be43e92d75bedf88b8 /src/fifa.sh | |
parent | 02238e00d76cd4b0a41ef7f7a062e7711b97cf69 (diff) |
function for registered shutdown + tiny cleanup
Diffstat (limited to 'src/fifa.sh')
-rwxr-xr-x | src/fifa.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/fifa.sh b/src/fifa.sh index dd08408..a5b7749 100755 --- a/src/fifa.sh +++ b/src/fifa.sh @@ -139,6 +139,14 @@ start_process () } +# use this function to stop the installation procedure. +# $1 exit code (optional) +stop_installer () +{ + log "-------------- STOPPING INSTALLATION ----------" + exit $1 +} + ###### perform actual logic ###### echo "Welcome to $TITLE" |