[
library(sockets)
|
Reference Manual
|
Alphabetic Index
]
stream_select(+Streams, +TimeOut0, -ReadStreams)
Wait for data on Streams
See Also
eclipse_language : stream_select / 3,
select / 3