Changeset 4314 for trunk/compiler/logtalk.pl
- Timestamp:
- 06/15/08 04:41:56 (6 months ago)
- Files:
-
- 1 modified
-
trunk/compiler/logtalk.pl (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/compiler/logtalk.pl
r4312 r4314 13374 13374 ( catch(thread_peek_message(Id, '$lgt_master'), _, fail) -> 13375 13375 catch(thread_send_message(Id, '$lgt_status'(_, terminate)), _, true) 13376 ; catch(thread_signal(Id, '$lgt_mt_thread_abort'), _, true)13376 ; catch(thread_signal(Id, throw('$lgt_terminated')), _, true) 13377 13377 ), 13378 13378 '$lgt_mt_threaded_call_abort'(Ids). … … 13393 13393 catch(thread_join(Id, _), _, true), 13394 13394 '$lgt_mt_threaded_call_join'(Ids, Results). 13395 13396 13397 '$lgt_mt_thread_abort' :-13398 mutex_unlock_all,13399 throw('$lgt_terminated').13400 13395 13401 13396
