From 502a5571a858d28eef0965c445c7a72089122b60 Mon Sep 17 00:00:00 2001 From: pmoura Date: Sun, 8 Jun 2008 16:45:52 +0000 Subject: [PATCH] Corrected a bug in setting a thread exit status in case the thread goal results in an exception; exit status should be exception(Exception) and not exception(error(Exception,_)). git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2269 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/threads.yap | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pl/threads.yap b/pl/threads.yap index dfffe9dfb..5ff5a2107 100644 --- a/pl/threads.yap +++ b/pl/threads.yap @@ -62,7 +62,7 @@ % format(user_error,'closing thread ~w~n',[v([Id0|Status])]). '$close_thread'(Exception, Detached, Id0) :- ( recorded('$thread_exit_status', [Id0|_], R), erase(R), fail - ; recorda('$thread_exit_status', [Id0|exception(error(Exception,_))], _) + ; recorda('$thread_exit_status', [Id0|exception(Exception))], _) ), '$run_at_thread_exit'(Id0), ( Detached == true -> @@ -83,7 +83,7 @@ thread_create(Goal) :- -> true ; - recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal)))],_) + recorda('$thread_exit_status', [Id|exception(resource_error(memory)))],_) ). thread_create(Goal, Id) :- @@ -100,7 +100,7 @@ thread_create(Goal, Id) :- -> true ; - recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal,Id)))],_) + recorda('$thread_exit_status', [Id|exception(resource_error(memory)))],_) ). thread_create(Goal, Id, Options) :- @@ -120,7 +120,7 @@ thread_create(Goal, Id, Options) :- -> true ; - recorda('$thread_exit_status', [Id|exception(error(resource_error(memory),thread_create(Goal,Id,Options)))],_) + recorda('$thread_exit_status', [Id|exception(resource_error(memory)))],_) ). '$erase_thread_info'(Id) :-