1.1 --- a/management_scripts/pre_init.sh	Mon Nov 10 14:21:42 2014 +0100
     1.2 +++ b/management_scripts/pre_init.sh	Thu Nov 27 12:07:37 2014 +0100
     1.3 @@ -50,6 +50,18 @@
     1.4  rmdir /tmp/usbmount/*
     1.5  umount /media/usb*
     1.6  
     1.7 +# sometimes the umount fails with device bussy -> unknown why
     1.8 +# so try until it works
     1.9 +counter=0
    1.10 +while ( [ -n "$(mount | grep "$DEVICE" | head -n 1 | awk '{print $3}')" ] && [ $counter -lt 10 ] )
    1.11 +do
    1.12 +	sleep 1
    1.13 +	umount "$(mount | grep "$DEVICE" | head -n 1 | awk '{print $3}')"
    1.14 +	counter=$((counter + 1))
    1.15 +done
    1.16 +
    1.17 +
    1.18 +
    1.19  # search for already encrypted volumes
    1.20  device=$(encryptionprovider.py -g)
    1.21