fix bad initialization of mqs
This commit is contained in:
parent
e596cce6f5
commit
4da6733194
@ -616,6 +616,10 @@ message_queue_create(Id) :-
|
|||||||
fail.
|
fail.
|
||||||
'$do_msg_queue_create'(_).
|
'$do_msg_queue_create'(_).
|
||||||
|
|
||||||
|
'$create_thread_mq'(TId) :-
|
||||||
|
recorded('$queue',q(TId,_,_,_,_), R),
|
||||||
|
erase(R),
|
||||||
|
fail.
|
||||||
'$create_thread_mq'(TId) :-
|
'$create_thread_mq'(TId) :-
|
||||||
\+ recorded('$queue',q(TId,_,_,_,_), _),
|
\+ recorded('$queue',q(TId,_,_,_,_), _),
|
||||||
'$new_mutex'(Mutex),
|
'$new_mutex'(Mutex),
|
||||||
|
Reference in New Issue
Block a user