Changeset 2640


Ignore:
Timestamp:
Jun 9, 2010, 11:53:52 PM (9 years ago)
Author:
bruno
Message:
  • Fix #425: Do not blindly remove partitions at end of mindi
File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/2.2.9/mindi/mindi

    r2629 r2640  
    243243# Parameter is exit code value
    244244MindiExit() {
    245     local my_partitions
    246 
    247245    echo "Mindi $MINDI_VERSION is exiting" >> $LOGFILE
    248246    echo "End date : `date`" >> $LOGFILE
     
    256254    sync&
    257255
    258     # Unmount what could remain mounted
    259     my_partitions=`mount | grep -F $$ | cut -f1 -d' '`
    260     [ "$my_partitions" != "" ] && umount $my_partitions
    261256    # Clean temporary files only when standalone mindi
    262257    if [ _"$MINDI_TMP" != _"$MONDO_TMP" ]; then
Note: See TracChangeset for help on using the changeset viewer.