diff options
author | Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp> | 2011-04-02 15:11:50 (GMT) |
---|---|---|
committer | James Morris <jmorris@namei.org> | 2011-04-18 23:37:09 (GMT) |
commit | e4f5f26d8336318a5aa0858223c81cf29fcf5f68 (patch) | |
tree | 8d28363c736c363d05f31e8417f11a2b5cce67a0 /sound | |
parent | 2a086e5d3a23570735f75b784d29b93068070833 (diff) | |
download | linux-e4f5f26d8336318a5aa0858223c81cf29fcf5f68.tar.xz |
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 'sound')
0 files changed, 0 insertions, 0 deletions