public SessionIdManager newSessionIdManager() { DefaultSessionIdManager idManager = new DefaultSessionIdManager(getServer()); idManager.setWorkerName("w"+(__workers++)); return idManager; }
((DefaultSessionIdManager) sessionHandler.getSessionIdManager()).setWorkerName(workerName); LOG.debug("Worker name set to {} for context [{}]", workerName, context);