103104105106107108109110111112113
public void undeploy(DeploymentInfo unit) { if (ignoreDeployment(unit)) return; Deployment dep = getDeployment(unit); if (dep != null) { log.debug("undeploy: " + unit.shortName); getRuntime().stop(dep); getRuntime().destroy(dep);