/** * Removes all registered RMI registries */ public void shutDown() { synchronized (registriesCache) { Collection<String> registryKeys = new ArrayList<String>(registriesCache.size()); registryKeys.addAll(registriesCache.keySet()); for (String key : registryKeys) { removeRegistry(key, registriesCache.get(key)); } } }
/** * Removes all registered RMI registries */ public void shutDown() { synchronized (registriesCache) { Collection<String> registryKeys = new ArrayList<String>(registriesCache.size()); registryKeys.addAll(registriesCache.keySet()); for (String key : registryKeys) { removeRegistry(key, registriesCache.get(key)); } } }
/** * removes if there is a RMI local registry instance * * @param port The port of the RMI registry to be removed */ public void removeLocalRegistry(int port) { String key = toKey(port); synchronized (registriesCache) { if (registriesCache.containsKey(key)) { removeRegistry(key, registriesCache.get(key)); } else { if (log.isDebugEnabled()) { log.debug("There is no RMi registry for port : " + port); } } } }
/** * removes if there is a RMI local registry instance * * @param port The port of the RMI registry to be removed */ public void removeLocalRegistry(int port) { String key = toKey(port); synchronized (registriesCache) { if (registriesCache.containsKey(key)) { removeRegistry(key, registriesCache.get(key)); } else { if (log.isDebugEnabled()) { log.debug("There is no RMi registry for port : " + port); } } } }