diff options
| author | Christopher Koch <chrisko@google.com> | 2018-05-03 09:59:32 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-05-03 10:00:24 -0700 |
| commit | 9739b8c21cd1716c4c1c81a27121c50e63fcf906 (patch) | |
| tree | 8ca7fa9a2294860de43cb03bf45b08b9b7108d03 /tools | |
| parent | 9c665c4c2496f71231f4c60454592854182c0e65 (diff) | |
Don't prematurely remove MountSource from parent's children.
Otherwise, mounts that fail to be unmounted (EBUSY) will be removed
from the children list anyway.
At this point, this just affects /proc/pid/mounts and /proc/pid/mountinfo.
PiperOrigin-RevId: 195267588
Change-Id: I79114483d73b90f9a7d764a7d513b5b2f251182e
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions