Details
-
Bug
-
Status: Reviewable
-
Major
-
Resolution: Unresolved
-
None
-
None
-
None
Description
See summary. MOUNT type disk is supposed to be exclusive. So having two MOUNT type disk with the same root does not make sense.
Another interesting case is that the root of one MOUNT disk is contained in the root of another MOUNT disk. Technically, we should check that as well and disallow it because the user might be able to write to a disk that he/she is not supposed to write.