if (SessionManager.__SessionCookie.equalsIgnoreCase(cookies[i].getName())) {
if (null != requestedSessionId) {
// Multiple jsessionid cookies. Probably due to
// multiple paths and/or domains. Pick the first
// known session or the last defined cookie.
SessionManager manager = servletHandler.getSessionManager();
if (manager!=null && manager.getHttpSession(requestedSessionId)!=null)
break;
}
requestedSessionId = cookies[i].getValue();
}
}