fix bad call.
This commit is contained in:
parent
c5ba36e191
commit
3bfcc2e7b4
@ -655,12 +655,12 @@ message_queue_destroy(_).
|
||||
'$do_error'(type_error(atom,Name),message_queue_destroy(Name)).
|
||||
|
||||
'$clean_mqueue'(Queue) :-
|
||||
'$db_dequeue'(Queue),
|
||||
'$db_dequeue'(Queue, _),
|
||||
fail.
|
||||
'$clean_mqueue'(_).
|
||||
|
||||
'$empty_mqueue'(Queue) :-
|
||||
'$db_dequeue_unlocked'(Queue),
|
||||
'$db_dequeue_unlocked'(Queue, _),
|
||||
fail.
|
||||
'$empty_mqueue'(_).
|
||||
|
||||
|
Reference in New Issue
Block a user