diff options
| author | Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp> | 2011-04-03 00:11:50 +0900 |
|---|---|---|
| committer | James Morris <jmorris@namei.org> | 2011-04-19 09:37:09 +1000 |
| commit | e4f5f26d8336318a5aa0858223c81cf29fcf5f68 (patch) | |
| tree | 8d28363c736c363d05f31e8417f11a2b5cce67a0 /Documentation/spi | |
| parent | 2a086e5d3a23570735f75b784d29b93068070833 (diff) | |
TOMOYO: Don't add / for allow_unmount permission check.
"mount --bind /path/to/file1 /path/to/file2" is legal. Therefore,
"umount /path/to/file2" is also legal. Do not automatically append trailing '/'
if pathname to be unmounted does not end with '/'.
Signed-off-by: Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp>
Signed-off-by: James Morris <jmorris@namei.org>
Diffstat (limited to 'Documentation/spi')
0 files changed, 0 insertions, 0 deletions