diff options
author | Lennart Poettering <lennart@poettering.net> | 2015-04-04 19:20:56 +0200 |
---|---|---|
committer | Anthony G. Basile <blueness@gentoo.org> | 2015-04-12 18:58:42 -0400 |
commit | 4a891daec07f271ce0e0a54b1a6e84ba74f54851 (patch) | |
tree | 6f998eacca120768e890afb754c6046637213d9b /src/shared | |
parent | 3df6745c2b830ea35f6363c2ea78476f1bc9e899 (diff) |
path-util: if parent can do name_to_handle() but relevant dir not, it's a mount point
Signed-off-by: Anthony G. Basile <blueness@gentoo.org>
Diffstat (limited to 'src/shared')
-rw-r--r-- | src/shared/path-util.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/shared/path-util.c b/src/shared/path-util.c index e478f6f43e..8678ef516b 100644 --- a/src/shared/path-util.c +++ b/src/shared/path-util.c @@ -375,7 +375,12 @@ int fd_is_mount_point(int fd) { return 1; } else return -errno; - } else + } else if (nosupp) + /* The parent can do name_to_handle_at() but the + * directory we are interested in can't? If so, it + * must be a mount point. */ + return 1; + else return mount_id != mount_id_parent; fallback: |