[semidet]linda_timeout(?OldTime,
?NewTime)Controls Linda's message-passing timeout. It specifies the time window
where clients will accept server replies in response to in
and rd
requests. Replies arriving outside of this window
are silently ignored. OldTime is unified with the old timeout
and then timeout is set to NewTime. NewTime is of
the form Seconds:Milliseconds. A non-negative real number, seconds, is
also recognized. The default is 0.250 seconds. This timeout is thread
local and is not inherited from its parent. New threads are
initialized to the default.
Note: The synchronous behavior afforded by in/1
and rd/1 is implemented by periodically
polling the server. The poll rate is set according to this timeout.
Setting the timeout too small may result in substantial network traffic
that is of little value.
- throws
error(feature_not_supported)
. SICStus Linda can disable the
timeout by specifying off
as NewTime. This
feature does not exist for safety reasons.