[m-users.] Uncomplete documentation of thread.channel and thread.closeable_channel

[Volker Wysk]

Hi!

Reading the API docs of thread.channel gives the impression that a channel
can't be destroyed. What about the ressources associated with the channel?
Wouldn't it lead to ressource leak if a program repeatedly creates channels,
that finally aren't used any longer?

Closeable_channel has a "close" precidate. But it isn't documented what
happens with the ressources associated with it. Are they freed after the
last message has been received from a closed channel?

I also think it would be good to have a "destroy" predicate in both cases,
which deletes all the unreceived messages in the channel and disposes of any
further ressources held by the channel.

Cheers,
Volker