/**
* Unsets Device Management service.
*
* @param deviceManagementService An Instance of DeviceManagementService
*/
protected void unsetDeviceManagementService(DeviceManagementService deviceManagementService) {
if (log.isDebugEnabled()) {
log.debug(
"Un setting Device Management Service Provider : '"
+ deviceManagementService.getType()
+ "'");
}
for (PluginInitializationListener listener : listeners) {
listener.unregisterDeviceManagementService(deviceManagementService);
}
}
/**
* Sets Device Manager service.
*
* @param deviceManagementService An instance of DeviceManagementService
*/
protected void setDeviceManagementService(DeviceManagementService deviceManagementService) {
if (log.isDebugEnabled()) {
log.debug(
"Setting Device Management Service Provider: '"
+ deviceManagementService.getType()
+ "'");
}
synchronized (LOCK) {
deviceManagers.add(deviceManagementService);
for (PluginInitializationListener listener : listeners) {
listener.registerDeviceManagementService(deviceManagementService);
}
}
}
public static void registerPluginInitializationListener(PluginInitializationListener listener) {
synchronized (LOCK) {
listeners.add(listener);
for (DeviceManagementService deviceManagementService : deviceManagers) {
listener.registerDeviceManagementService(deviceManagementService);
}
}
}
