summaryrefslogtreecommitdiff
path: root/src/fifa.sh
diff options
context:
space:
mode:
authorDieter Plaetinck <dieter@plaetinck.be>2008-11-03 17:07:25 +0100
committerDieter Plaetinck <dieter@plaetinck.be>2008-11-03 17:07:25 +0100
commitd2e430228f61b78a31729654506af342f6e15703 (patch)
tree92d78af2d707072ffdef91be43e92d75bedf88b8 /src/fifa.sh
parent02238e00d76cd4b0a41ef7f7a062e7711b97cf69 (diff)
function for registered shutdown + tiny cleanup
Diffstat (limited to 'src/fifa.sh')
-rwxr-xr-xsrc/fifa.sh8
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"