# HG changeset patch
# User ft
# Date 1417086457 -3600
# Node ID 4452ae59ce5f1f5e7070ec4b7e9b2bed2d4e8317
# Parent  0132180da319925f2fe42c5f0aa62d09921b132c
fixed random umount issue

diff -r 0132180da319 -r 4452ae59ce5f management_scripts/pre_init.sh
--- a/management_scripts/pre_init.sh	Mon Nov 10 14:21:42 2014 +0100
+++ b/management_scripts/pre_init.sh	Thu Nov 27 12:07:37 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)