integrate-distro.sh: Wait after umount /proc/fs/nfsd

Wait 2 seconds between unmounting /proc/fs/nfsd and unmounting /dev.
This fixes device busy errors.

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2016-11-21 13:19:40 +00:00
commit 95ad0b0cc4

View file

@ -820,7 +820,7 @@ mount_devices()
unmount_devices()
{
local devices="$ssh_auth_sock /srv/ftp /proc /sys /dev /boot /"
local devices="$ssh_auth_sock /srv/ftp /proc/fs/nfsd /proc /sys /dev /boot /"
[ "$1" ] && devices="$@"
local sync=/usr/bin/sync
[ -x $root/$sync ] || sync=""
@ -828,6 +828,7 @@ unmount_devices()
for d in $devices; do
check_mount $d && {
[ "$sync" -a -e $root$d -a $d != $ssh_auth_sock ] && run $sync -f $root$d
[ "$d" = /dev ] && sleep 2 # need to do this, otherwise dev is busy, no idea why
run umount $root$d
}
done