delete_stream_from

Availability::- use_module(library(streampool)).(can be autoloaded)

delete_stream_from_pool(+Stream)

Delete the given stream from the pool. Succeeds, even if Stream is no member of the pool. If Stream is unbound the entire pool is emtied but unlike close_stream_pool/0 the streams are not closed.