Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
 //
 //  ========================================================================
 //  Copyright (c) 1995-2013 Mort Bay Consulting Pty. Ltd.
 //  ------------------------------------------------------------------------
 //  All rights reserved. This program and the accompanying materials
 //  are made available under the terms of the Eclipse Public License v1.0
 //  and Apache License v2.0 which accompanies this distribution.
 //
 //      The Eclipse Public License is available at
//      http://www.eclipse.org/legal/epl-v10.html
//
//      The Apache License v2.0 is available at
//      http://www.opensource.org/licenses/apache2.0.php
//
//  You may elect to redistribute this code under either of these licenses.
//  ========================================================================
//
package org.eclipse.jetty.server;
Session ID Manager. Manages session IDs across multiple contexts.
public interface SessionIdManager extends LifeCycle
{
    

Parameters:
id The session ID without any cluster node extension
Returns:
True if the session ID is in use by at least one context.
    public boolean idInUse(String id);
    
    
Add a session to the list of known sessions for a given ID.

Parameters:
session The session
    public void addSession(HttpSession session);
    
    
Remove session from the list of known sessions for a given ID.

Parameters:
session
    public void removeSession(HttpSession session);
    
    
Call javax.servlet.http.HttpSession.invalidate() on all known sessions for the given id.

Parameters:
id The session ID without any cluster node extension
    public void invalidateAll(String id);
    
    

Parameters:
request
created
Returns:
the new session id
    public String newSessionId(HttpServletRequest request,long created);
    
    public String getWorkerName();
    
    
    /* ------------------------------------------------------------ */
    
Get a cluster ID from a node ID. Strip node identifier from a located session ID.

Parameters:
nodeId
Returns:
the cluster id
    public String getClusterId(String nodeId);
    
    /* ------------------------------------------------------------ */
    
Get a node ID from a cluster ID and a request

Parameters:
clusterId The ID of the session
request The request that for the session (or null)
Returns:
The session ID qualified with the node ID.
    public String getNodeId(String clusterId,HttpServletRequest request);
    
New to GrepCode? Check out our FAQ X