diff options
Diffstat (limited to 'functions/exit.sh')
| -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 edfd50cb9..32340a481 100755 --- a/functions/exit.sh +++ b/functions/exit.sh @@ -29,6 +29,7 @@ Exit () # (e.g. due to running processes in chroot from user customizations) Echo_message "Begin unmounting filesystems..." + local DIRECTORY if [ -e /proc/mounts ] then for DIRECTORY in $(awk -v dir="${PWD}/chroot/" '$2 ~ dir { print $2 }' /proc/mounts | sort -r) |