diff options
author | Lennart Poettering <lennart@poettering.net> | 2015-04-04 19:20:56 +0200 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2015-04-06 10:57:53 +0200 |
commit | 8f06b239f2a41310582f9d1932778afbc0c9c9f6 (patch) | |
tree | 0a2fc56dbcb08e13d43ef68ca860df5e6e32f520 | |
parent | f25afeb6ab515cf890eff58c0b53cf35b2be0e05 (diff) |
path-util: if parent can do name_to_handle() but relevant dir not, it's a mount point
-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 6a984fc1d8..e485c8e71e 100644 --- a/src/shared/path-util.c +++ b/src/shared/path-util.c @@ -515,7 +515,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: |