Operation void doShutdown (), in Class MessageManager

Documentation
Performs a shutdown of this server.
First, it triggers for the server to stop listening for requests.
Then, it waits until all current threads complete their tasks.
Finally, it shuts the server off and exits the JVM.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
GenerateFullyQualifiedReturnFalseGenerateFullyQualifiedThrows 
AbstractFalseStaticTrue
FinalFalseNativeFalse
SynchronizedFalseStrictfpFalse
GenerateFullyQualifiedArgument ReplaceExistingCodeTrue