if (!location.endsWith("/")) {
location = location + "/";
}
// load the application
WebApplicationContext ctx = server.addWebApplication(appInfo.mountPoint, location);
ctx.setAttribute("_serverId", appInfo.server);
// set the session manager
SessionManager sm = new HashSessionManager();
ctx.getWebApplicationHandler().setSessionManager(sm);