alarm(0,Any1,Any2) steadfast: Always disables alarm.

This commit is contained in:
Ulrich Neumerkel 2009-05-30 20:04:24 +02:00 committed by Costa Vitor
parent 98fef199bd
commit 28f593f0a8

View File

@ -240,8 +240,9 @@ on_signal(Signal,OldAction,Action) :-
alarm(Interval, Goal, Left) :-
Interval == 0, !,
'$alarm'(0, 0, Left0, _),
on_signal(sig_alarm, _, Goal),
'$alarm'(Interval, 0, Left, _).
Left = Left0.
alarm(Interval, Goal, Left) :-
integer(Interval), !,
on_signal(sig_alarm, _, Goal),