next up previous contents
Next: JChannel.Close() Up: Initialization and de-initialization of Previous: JChannel.Connect()

JChannel.Disconnect()

1.
Sends down a DISCONNECT event, waits for a DISCONNECT_OK event
2.
GMS updates the membership. Then it passes down the event. Then it sends up a DISCONNECT_OK event.

3.
JChannel.Disconnect() waits for the DISCONNECT_OK event, or, if the timer expires, throws an exception

4.
JChannel.Disconnect stops the protocol stack calling ProtocolStack.Stop()
5.
Stop sends a STOP event down the stack

6.
When the lowest layer (UDP) receives STOP, it closes all its sockets. Then it sends up a STOP_OK event.

7.
When ProtocolStack.Stop receives STOP_OK, it returns. Otherwise, if the timer expires, it returns too.




1999-12-13