LOGGER.info("{}/{}={}", scanServerName, NEXUS_FILE, nexusFileName);
}
}
nexusFileNameMap.put(scanServerName.toLowerCase(), nexusFileName);
String dataRecorderDeviceName = DEFAULT_RECORDER;
Database database = TangoDeviceHelper.getDatabase();
if (database != null) {
DbDatum dbDatum = database.get_device_property(scanServerName, DATA_RECORDER);
if (dbDatum != null) {
dataRecorderDeviceName = dbDatum.extractString();
}
if (TangoDeviceHelper.isDeviceRunning(dataRecorderDeviceName)) {