2007-09-23 08:04:50 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# exit.sh - cleanup
|
2008-03-06 14:43:00 -01:00
|
|
|
# Copyright (C) 2006-2008 Daniel Baumann <daniel@debian.org>
|
2007-09-23 08:04:50 +00:00
|
|
|
#
|
|
|
|
# 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
|
2007-09-23 08:04:51 +00:00
|
|
|
# Dump variables
|
2008-10-14 19:42:08 +00:00
|
|
|
set | grep -e ^LH
|
2007-09-23 08:04:50 +00:00
|
|
|
fi
|
|
|
|
|
2008-10-14 19:44:48 +00:00
|
|
|
# Always exit true in case we are not able to unmount
|
|
|
|
# (e.g. due to running processes in chroot from user customizations)
|
|
|
|
umount chroot/dev/pts > /dev/null 2>&1 || true
|
|
|
|
umount chroot/proc > /dev/null 2>&1 || true
|
|
|
|
umount chroot/selinux > /dev/null 2>&1 || true
|
|
|
|
umount chroot/sys > /dev/null 2>&1 || true
|
2007-09-23 08:04:50 +00:00
|
|
|
}
|