next up previous contents
Next: Closing a channel Up: Channel Previous: Getting the group's state   Contents

Disconnecting from a channel

Disconnecting from a channel is done using the following method:

    public void disconnect();

It will have no effect if the channel is already in the disconnected or closed state. If connected, it will remove itself from the group membership. This is done (transparently for a channel user) by sending a leave request to the current coordinator. The latter will subsequently remove the channel's address from its local view and send the new view to all remaining members.

After a successful disconnect, the channel will be in the unconnected state, and may subsequently be re-connected to.



Bela Ban 2002-11-16