if (serverRegistry == null) // server connection is already closed
{
return;
}
serverRegistry.closeServerConnection();
// Add server to the closed server list and the worker thread will remove the server from required places.
ApplicationRegistry.serverConnectionClosed(managedServer);
}
/**