334335336337338339340341342343344
} Context context = webserviceContexts.remove(path); if (WEBSERVICE_OLDCONTEXT_ACTIVE) { try { context.destroy(); context.stop(); } catch (Exception e) { throw new TomEERuntimeException(e); } Host host = (Host) context.getParent();
338339340341342343344345346347348