fix message warning in thread_pool
This commit is contained in:
parent
5dd62b6354
commit
1f1f733534
@ -414,5 +414,5 @@ wait_reply(Value) :-
|
|||||||
prolog:message(thread_pool(Message)) -->
|
prolog:message(thread_pool(Message)) -->
|
||||||
message(Message).
|
message(Message).
|
||||||
|
|
||||||
message(manager_died(Status)) -->
|
prolog:message(manager_died(Status)) -->
|
||||||
[ 'Thread-pool: manager died on status ~p; restarting'-[Status] ].
|
[ 'Thread-pool: manager died on status ~p; restarting'-[Status] ].
|
||||||
|
Reference in New Issue
Block a user