throws DomainException
{
String domainRoot = (String) domainConfig.get(DomainConfig.K_DOMAIN_ROOT);
try {
installConfig instconf = new installConfig();
instconf.deleteDomain(domainName, domainRoot);
} catch(java.io.IOException ioe) {
throw new DomainException("Error deleting domain: "+domainName);
}
}