diff options
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/tools/linux-sandbox-pid1.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/main/tools/linux-sandbox-pid1.cc b/src/main/tools/linux-sandbox-pid1.cc index 5f0482e942..4feedd9e02 100644 --- a/src/main/tools/linux-sandbox-pid1.cc +++ b/src/main/tools/linux-sandbox-pid1.cc @@ -390,8 +390,11 @@ static void MakeFilesystemMostlyReadOnly() { // /proc, /proc/sys/fs/binfmt_misc and /proc, with the latter /proc being // the one that an outer sandbox has mounted on top of its parent /proc. // In that case, we're not allowed to remount /proc/sys/fs/binfmt_misc, - // because it is hidden. - if (errno != EACCES && errno != EINVAL) { + // because it is hidden. If we get ESTALE, the mount is a broken NFS + // mount. In the ideal case, the user would either fix or remove that + // mount, but in cases where that's not possible, we should just ignore + // it. + if (errno != EACCES && errno != EINVAL && errno != ESTALE) { DIE("remount(NULL, %s, NULL, %d, NULL)", ent->mnt_dir, mountFlags); } } |