/**
* Destroy (shutdown) the server.
*
* @throws PVAException exception thrown in case of an unexpected error.
*/
public void destroy() throws PVAException {
if (threadPoll == null) serverContext.destroy();
else {
// notify to shutdown and do not accept any new requests
threadPoll.shutdown();
serverContext.destroy();
threadPoll.shutdownNow();
}
}
