 
 
 
 
 
 
 
  
 Next: JChannel.Close()
 Up: Initialization and de-initialization of
 Previous: JChannel.Connect()
- 
 
- 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-08-19