diff options
| author | Lennart Poettering <lennart@poettering.net> | 2015-05-19 13:50:36 +0200 |
|---|---|---|
| committer | Lennart Poettering <lennart@poettering.net> | 2015-05-19 13:50:36 +0200 |
| commit | fcd8b266edf0df2b85079fcf7b099cd4028740e6 (patch) | |
| tree | 2a3c036e86caf6c72382811edf16ded720ee9192 /src/libsystemd-terminal/grdev.c | |
| parent | 2005219f83130a8d5948b070b132f5dc21400a5f (diff) | |
mount: don't claim a device is gone from /proc/self/mountinfo before it is gone from *all* lines
Devices might be referenced by multiple mount points in
/proc/self/mountinfo, hence we should consider them unmounted only after
they disappeared from all lines, not just from one.
http://lists.freedesktop.org/archives/systemd-devel/2015-May/032026.html
Diffstat (limited to 'src/libsystemd-terminal/grdev.c')
0 files changed, 0 insertions, 0 deletions