//
// let Tomcat know that the file is there
//
getContainerWrapper().getTomcatContainer().installWar(contextName, new URL("jar:file:" + destWar.getAbsolutePath() + "!/"));
Context ctx = getContainerWrapper().getTomcatContainer().findContext(contextName);
if (ctx == null) {
errMsg = getMessageSourceAccessor().getMessage("probe.src.deploy.war.notinstalled", new Object[]{visibleContextName});
} else {
request.setAttribute("success", Boolean.TRUE);
if (discard) {
getContainerWrapper().getTomcatContainer().discardWorkDir(ctx);
}
if (compile) {
Summary summary = new Summary();
summary.setName(ctx.getName());
getContainerWrapper().getTomcatContainer().listContextJsps(ctx, summary, true);
request.getSession(true).setAttribute(DisplayJspController.SUMMARY_ATTRIBUTE, summary);
request.setAttribute("compileSuccess", Boolean.TRUE);
}
}