Changeset 2640 in MondoRescue for branches/2.2.9/mindi/mindi

Timestamp:

Jun 9, 2010, 11:53:52 PM (14 years ago)

Author:

Bruno Cornec

Message:

• Fix #425: Do not blindly remove partitions at end of mindi

File:

• branches/2.2.9/mindi/mindi (modified) (2 diffs)

branches/2.2.9/mindi/mindi

@@ -243 +243 @@
 # Parameter is exit code value
 MindiExit() {
-    local my_partitions
-
     echo "Mindi $MINDI_VERSION is exiting" >> $LOGFILE
     echo "End date : `date`" >> $LOGFILE
@@ -256 +254 @@
     sync&
 
-    # Unmount what could remain mounted
-    my_partitions=`mount | grep -F $$ | cut -f1 -d' '`
-    [ "$my_partitions" != "" ] && umount $my_partitions
     # Clean temporary files only when standalone mindi
     if [ _"$MINDI_TMP" != _"$MONDO_TMP" ]; then