deadline
option. If both options are provided, the earlier time is effective.
If Time is 0 or 0.0, thread_get_message/3 examines the queue but does not suspend if no matching term is available. Note that unlike thread_peek_message/2, a matching term is removed from the queue.
If Time < 0, thread_get_message/3 fails immediately without removing any message from the queue.
true
)
times out every 0.25 seconds and checks for signals. If false
,
signals are not checked. If a number is specified, we check for signals
every
Time seconds. Smaller times may be used to improved
responsiveness to signals. Larger times may be used to reduce CPU usage.