diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/signal.texi | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/manual/signal.texi b/manual/signal.texi index f07a748b95..15458c208e 100644 --- a/manual/signal.texi +++ b/manual/signal.texi @@ -1514,11 +1514,12 @@ fatal_error_signal (int sig) @end group @group - /* @r{Now reraise the signal. Since the signal is blocked,} - @r{it will receive its default handling, which is} - @r{to terminate the process. We could just call} - @r{@code{exit} or @code{abort}, but reraising the signal} - @r{sets the return status from the process correctly.} */ + /* @r{Now reraise the signal. We reactivate the signal's} + @r{default handling, which is to terminate the process.} + @r{We could just call @code{exit} or @code{abort},} + @r{but reraising the signal sets the return status} + @r{from the process correctly.} */ + signal (sig, SIG_DFL); raise (sig); @} @end group |