diff options
Diffstat (limited to 'functions')
| -rwxr-xr-x | functions/exit.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/functions/exit.sh b/functions/exit.sh index 47b88a775..8a79460de 100755 --- a/functions/exit.sh +++ b/functions/exit.sh @@ -19,6 +19,7 @@ Exit () # Always exit true in case we are not able to unmount # (e.g. due to running processes in chroot from user customizations) + Echo_message "Begin unmounting filesystems..." 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 |