// just skip this user if it doesn't exist anymore
}
}
nukees += "}";
logNukeToEventLog(new Nuke(releaseName, section, nuker, totalBytesNuked, multiplier, reason, nukees));
log("NUKE;" + releaseName + ';' + section + ';' + nuker + ';' + totalBytesNuked + ';' + multiplier + ';' + reason + ';' + nukees + ';' + realPwd + ';' + System.currentTimeMillis());
return true;
} else {
Logging.getErrorLog().reportError("Failed to nuke directory: directory could not be renamed: " + originalDir.getAbsolutePath());
throw new NukeException("Failed to nuke directory: directory could not be renamed: " + originalDir.getName()); // only disclose the name here, lest we reveal any information about the underlying system