From c2bd671bfd9f5e384a02789415c83ebaeb03c783 Mon Sep 17 00:00:00 2001 From: Ulrich Neumerkel Date: Thu, 28 May 2009 01:15:02 +0200 Subject: [PATCH] time_out/3: Give every alternative the full timeout time #86 --- library/timeout.yap | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/library/timeout.yap b/library/timeout.yap index 44d0c8279..f59c5bfd8 100644 --- a/library/timeout.yap +++ b/library/timeout.yap @@ -29,13 +29,13 @@ time_out(Goal, Time, Result) :- T is Time//1000, UT is (Time mod 1000)*1000, catch( ( Result0 = success, - setup_call_cleanup( + setup_call_cleanup( alarm(T.UT,throw(time_out),_), Goal, alarm(0,_,RT)), ( var(RT) - -> alarm(0,_,RT), - ( true ; alarm(RT,throw(time_out),_) ) + -> alarm(0,_,_), + ( true ; alarm(T.UT,throw(time_out),_) ) ; true ) ),