diff options
| author | William Hubbs <w.d.hubbs@gmail.com> | 2017-10-24 10:37:01 -0500 |
|---|---|---|
| committer | William Hubbs <w.d.hubbs@gmail.com> | 2017-10-24 10:37:37 -0500 |
| commit | f5acc66db7d1a0bfad6a40eefc0240b80f52df94 (patch) | |
| tree | 58f7cdcb782d1b0368c6f1014fb7e04a37f453bd /agetty-guide.md | |
| parent | fdce4769f2e0f4175163ffa181c7b3b2192f7b22 (diff) | |
rc_find_pids: ignore pids that are not in our pid namespace
X-Gentoo-Bug: 634634
X-Gentoo-Bug-URL: https://bugs.gentoo.org/show_bug.cgi?id=634634
Diffstat (limited to 'agetty-guide.md')
0 files changed, 0 insertions, 0 deletions