Addresses | is a list of name/3
or name_seq/3 addresses for the services
to be monitored. |
Goal | is a predicate that will be called when
a worker's publication status changes. The Goal is called
exactly once per event with its the last argument unified with the
structure:
published(-NameSeq, -PortId) - when the worker binds its socket to the address.
withdrawn(-NameSeq, -PortId) - when the worker unbinds its socket from the address.
|
Timeout | is optional. It is one of:
- Timeout
- a non-negative real number that specifies the number of seconds that
surveillance is to be continued.
- infinite
- causes the monitor to run forever in the current thread (e.g. never
returns).
detached(-ThreadId) - causes the monitor to run forever as a separate thread. ThreadId is
unified with the thread identifier of the monitor thread. This is useful
when the monitor is required to provide continuous surveillance, while
operating in the background.
|