summaryrefslogtreecommitdiff
path: root/src/shared
diff options
context:
space:
mode:
authorLennart Poettering <lennart@poettering.net>2015-04-04 19:20:56 +0200
committerAnthony G. Basile <blueness@gentoo.org>2015-04-12 18:58:42 -0400
commit4a891daec07f271ce0e0a54b1a6e84ba74f54851 (patch)
tree6f998eacca120768e890afb754c6046637213d9b /src/shared
parent3df6745c2b830ea35f6363c2ea78476f1bc9e899 (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.c7
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: