diff options
Diffstat (limited to 'functions/exit.sh')
-rwxr-xr-x | functions/exit.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/functions/exit.sh b/functions/exit.sh new file mode 100755 index 000000000..ff76c3680 --- /dev/null +++ b/functions/exit.sh @@ -0,0 +1,20 @@ +#!/bin/sh + +# exit.sh - cleanup +# Copyright (C) 2006-2007 Daniel Baumann <daniel@debian.org> +# +# live-helper comes with ABSOLUTELY NO WARRANTY; for details see COPYING. +# This is free software, and you are welcome to redistribute it +# under certain conditions; see COPYING for details. + +set -e + +Exit () +{ + if [ "${LH_DEBUG}" = "enabled" ] + then + set | grep -e ^LH -e ^LIVE + fi + + # FIXME: Add /proc et al cleanup on failure +} |