diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-07-26 15:18:31 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-07-26 15:18:31 +0200 |
| commit | d1325ad96fa3ae27e74c192b36d858353f751d0c (patch) | |
| tree | e584ad81b2d6fe3c08a6ec876183317f64465155 | |
| parent | e90af5be5b8fc7caa5bcb8c0acf5657b1bf0e05c (diff) | |
clear $PART_ROOT on rollback of /
| -rw-r--r-- | src/core/libs/lib-blockdevices-filesystems.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/core/libs/lib-blockdevices-filesystems.sh b/src/core/libs/lib-blockdevices-filesystems.sh index d971db0..a8a7dcf 100644 --- a/src/core/libs/lib-blockdevices-filesystems.sh +++ b/src/core/libs/lib-blockdevices-filesystems.sh @@ -487,6 +487,11 @@ rollback_filesystems () if umount $part_real >$LOG then done_umounts+=("$part_real") + if [ "$fs_mount" = target -a "$fs_mountpoint" = '/' ] + then + debug FS "clearing \$PART_ROOT (was: $PART_ROOT)" + PART_ROOT= + fi else warnings="$warnings\nCould not umount umount $part_real . Probably device is still busy. See $LOG" show_warning "Umount failure" "Could not umount umount $part_real . Probably device is still busy. See $LOG" #TODO: fix device busy things |