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.