PublicShow sourcestreampool.pl -- Input multiplexing

This libary allows a single thread to monitor multiple streams and call a goal if input is available on a stream.

bug
- Note that if the processing predicate blocks other input channals are not processed. This may happen, for example, if a read/2 call blocks due to incomplete input.
Source delete_stream_from_pool(+Stream)
Retract stream from the pool
Source close_stream_pool
Close all streams in the pool. This causes stream_pool_main_loop/0 to terminate.
Source dispatch_stream_pool(+TimeOut)
Wait for input on one or more streams and handle that. Wait for at most TimeOut seconds (0 means infinite).
Source stream_pool_main_loop
Keep handling input from the streams in the pool until they have all died away.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source add_stream_to_pool(Arg1, Arg2)