# HG changeset patch
# User ft
# Date 1417089900 -3600
# Node ID d288b1d84449f4f0eba05ff588e1bf71408eacee
# Parent  f7b8f096b3596cf90af87a676cbee1fad38ec82a
fixed umount issue

diff -r f7b8f096b359 -r d288b1d84449 pre_init.sh
--- a/pre_init.sh	Mon Nov 10 14:45:01 2014 +0100
+++ b/pre_init.sh	Thu Nov 27 13:05:00 2014 +0100
@@ -50,6 +50,18 @@
 rmdir /tmp/usbmount/*
 umount /media/usb*
 
+# sometimes the umount fails with device bussy -> unknown why
+# so try until it works
+counter=0
+while ( [ -n "$(mount | grep "$DEVICE" | head -n 1 | awk '{print $3}')" ] && [ $counter -lt 10 ] )
+do
+	sleep 1
+	umount "$(mount | grep "$DEVICE" | head -n 1 | awk '{print $3}')"
+	counter=$((counter + 1))
+done
+
+
+
 # search for already encrypted volumes
 device=$(encryptionprovider.py -g)