public interface RegistryManagerListener
| Modifier and Type | Method and Description |
|---|---|
void |
registryAdded(String registryName)
Called when a registry is registered in the
RegistryManager |
void |
registryRemoved(String registryName)
Called when a registry is removed from the
RegistryManager |
void registryAdded(String registryName)
RegistryManagerregistryName - void registryRemoved(String registryName)
RegistryManagerregistryName - Copyright © 2019 CNRS. All rights reserved.