From 44be69112c71fe65784cc014995044c2a191a449 Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Sun, 14 Feb 2021 15:10:15 +0000 Subject: Apply doc fixes by flexibeast and suggestions by Profpatsch&aranea --- doc/exitcodes.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/exitcodes.html') diff --git a/doc/exitcodes.html b/doc/exitcodes.html index 619f5d3..c1fcd24 100644 --- a/doc/exitcodes.html +++ b/doc/exitcodes.html @@ -24,7 +24,7 @@ Either C dies normally with an exit code from 0 to 255, or it is killed by a signal. How can we make sure that P reports to G what happened -to C, with as much precision as possible ? +to C, with as much precision as possible?

@@ -33,7 +33,7 @@ structure filled in by waitpid()) than a process can report by simply exiting. P could exit with the same exit code as C, -but then what should it do if C has been killed by a signal ? +but then what should it do if C has been killed by a signal?

@@ -42,7 +42,7 @@ but then what should it do if C has been killed by a signal ? But that's actually not right, because P itself could be killed by a signal from another source, and G needs that information. "P has been killed by a signal" and "C has been killed by a signal" are two -different informations, so they should not be reported in the same way. +different pieces of information, so they should not be reported in the same way.

-- cgit v1.3.1