355356357358359360361362363364365
if (!jkad.isDisconnected()) jkad.disconnect(); SearchManager search_manager = SearchManagerSingleton.getInstance(); search_manager.shutdown(); notifyComponentStopped(search_manager); ServerManagerSingleton.getInstance().shutdown();