public ClusteredSessionManager(SessionManager sessionManager) { this.sessionManager = sessionManager; String workerName = sessionManager.getNode().getName(); workerName = workerName.replaceAll(" ", ""); HashSessionIdManager sessionIdManager = new HashSessionIdManager(); sessionIdManager.setWorkerName(workerName); setIdManager(sessionIdManager); sessionManager.registerListener(new MigrationListener()); }
public ClusteredSessionManager(SessionManager sessionManager) { this.sessionManager = sessionManager; String workerName = sessionManager.getNode().getName(); workerName = workerName.replaceAll(" ", ""); HashSessionIdManager sessionIdManager = new HashSessionIdManager(); sessionIdManager.setWorkerName(workerName); setIdManager(sessionIdManager); sessionManager.registerListener(new MigrationListener()); }
private void initializeHandlers() { statisticsHandler = new ManagedStatisticsHandler(); if (logFilename != null) { RequestLogHandler requestLogHandler = createLogHandler(); server.setHandler(requestLogHandler); } else { server.setHandler(statisticsHandler); } ExecutionContextHandler executionHandler = new ExecutionContextHandler(); statisticsHandler.setHandler(executionHandler); rootHandler = new ContextHandlerCollection(); executionHandler.setHandler(rootHandler); contextHandler = new ServletContextHandler(rootHandler, ROOT); sessionManager = new ManagedHashSessionManager(); HashSessionIdManager sessionIdManager = new HashSessionIdManager(); String workerName = hostInfo.getRuntimeName().replace(".", "_"); // Jetty does not accept names with '.' characters sessionIdManager.setWorkerName(workerName); server.setSessionIdManager(sessionIdManager); sessionManager.setIdManager(sessionIdManager); SessionHandler sessionHandler = new SessionHandler(sessionManager); servletHandler = new ManagedServletHandler(); sessionHandler.setHandler(servletHandler); contextHandler.setHandler(sessionHandler); try { statisticsHandler.start(); statisticsHandler.startStatisticsCollection(); } catch (Exception e) { e.printStackTrace(); } }
HashSessionIdManager sessionIdManager = new HashSessionIdManager(); String workerName = hostInfo.getRuntimeName().replace(".", "_"); // Jetty does not accept names with '.' characters sessionIdManager.setWorkerName(workerName); server.setSessionIdManager(sessionIdManager); SessionHandler sessionHandler = new SessionHandler(sessionManager);