[m-rev.] For review: Re-throw unhandled signals.

[Julien Fischer]

On Tue, 18 May 2010, Paul Bone wrote:

>>> Index: runtime/mercury_signal.h
>>> ===================================================================
>>> RCS file: /home/mercury1/repository/mercury/runtime/mercury_signal.h,v
>>> retrieving revision 1.14
>>> diff -u -p -b -r1.14 mercury_signal.h
>>> --- runtime/mercury_signal.h	20 Jun 2005 02:16:44 -0000	1.14
>>> +++ runtime/mercury_signal.h	13 May 2010 03:34:06 -0000
>>> @@ -81,6 +81,11 @@ extern	void	MR_setup_signal_no_restart(i
>>> 			MR_bool need_info, const char * error_message);
>>>
>>> /*
>>> +** Reset a signal to its default configuration.
>>
>> s/configuration/handler/
>
> I beleive configuration is more apprprite.  There is no handler associated with
> a signal by default, a signal may either kill a process or be ignored by a
> process.  This function sets the signal to it's default behaviour, which is
> signal dependant, but in all cases no handler is associated with the signal.

I find the word "configuration" odd in this context.

Perhaps,

    Reset a signal to use default handling.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------