private void doUpdateDomain(HttpServletRequest req, HttpServletResponse resp) throws IOException {
final String domainName = req.getParameter("name");
final String storageEngineOptions = req.getParameter("storageEngineOptions");
final Domain domain = coordinator.getDomain(domainName);
if (domain == null) {
throw new IOException("Could not get Domain '" + domainName + "' from Configurator.");
} else {
coordinator.updateDomain(
domainName,
domain.getNumParts(),
domain.getStorageEngineFactoryClass().getName(),
storageEngineOptions,
domain.getPartitioner().getClass().getName());
}
resp.sendRedirect("/domains.jsp");
}
