// if the node addressed by oldProps owns its own defect log, we
// don't need to worry.
return;
}
DefectLogID oldLog = oldProps.defectLog(oldKey, dashboard.getDirectory());
if (oldLog == null) {
// if the node addressed by oldProps doesn't have a defect log,
// we don't need to worry.
return;
}
String logPath = oldLog.path.path();
oldPrefix = oldPrefix.substring(logPath.length() + 1);
PropertyKey newKey = PropertyKey.fromPath(newPrefix);
DefectLogID newLog = newProps.defectLog(newKey, dashboard.getDirectory());
if (newLog == null) {
// Should this ever happen???
return;
}
String newLogPath = newLog.path.path();