Comment 13 for bug 151579

Revision history for this message
Agostino Russo (ago) wrote :

Paul,

Basically $PROTECTED_MOUNTS contains all mountpoints which were mounted before root was mounted. As such they might host root. Such mountpoints should not be unmounted in umountfs. They are handled instead in umountroot.