diff options
| author |  Philipp Wollermann <philwo@google.com> | 2017-03-24 13:06:55 +0000 |
|---|---|---|
| committer | Philipp Wollermann <philwo@google.com> | 2017-03-27 11:34:40 +0000 |
| commit | 6c5a182c7032a4e443ac882982d2f2a1b3ea4474 (patch) | |
| tree | 900a24e9ccb539b3763a11fed12cb1272f7c0c0a /src/main/tools/linux-sandbox-options.h | |
| parent | c2d773ef4c0916a44fd7936f7bbc22ec55102915 (diff) | |
sandbox: Ignore ENOENT during remount.
Instead of trying to detect overlapping mount points, just ignore any
ENOENT errors during remount. If this error happens, the mount point
wouldn't be accessible anyway, so there's no harm if the remount fails.
Fixes #1948.
--
PiperOrigin-RevId: 151118726
MOS_MIGRATED_REVID=151118726
Diffstat (limited to 'src/main/tools/linux-sandbox-options.h')
0 files changed, 0 insertions, 0 deletions