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.
