diff options
| author | Michael Kerrisk <mtk.manpages@gmail.com> | 2016-11-11 09:29:14 +0100 |
|---|---|---|
| committer | Michael Kerrisk <mtk.manpages@gmail.com> | 2016-11-11 09:29:14 +0100 |
| commit | e8840edfbd5c8a45f6de576c24bb2a202e08f31d (patch) | |
| tree | 7560beeb0cdc904f2e6a9bb1488232147523438c /man5 | |
| parent | f12f1b9b0b5fe2080be4a42e8dc0f88594c016de (diff) | |
| download | man-pages-e8840edfbd5c8a45f6de576c24bb2a202e08f31d.tar.gz | |
proc.5: wfix
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'man5')
| -rw-r--r-- | man5/proc.5 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/man5/proc.5 b/man5/proc.5 index 55db39b23b..a7df2ad345 100644 --- a/man5/proc.5 +++ b/man5/proc.5 @@ -4922,8 +4922,8 @@ Note that this is not supported for a few types of pages, such as kernel internally allocated data or the swap cache, but works for the majority of user pages. .IP 0: 4 -Only unmap the corrupted page from all processes and kill only a process -that tries to access it. +Unmap the corrupted page from all processes and kill a process +only if it tries to access the page. .RE .IP The kill is performed using a |