WSRPProducerImpl.SessionManager - JBOSS Portal 2.6 API 英文版文档

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.jboss.portal.wsrp.producer
Class WSRPProducerImpl.SessionManager

java.lang.Object
  org.jboss.portal.wsrp.producer.WSRPProducerImpl.SessionManager

Enclosing class:: WSRPProducerImpl

private class WSRPProducerImpl.SessionManager
extends java.lang.Object

Field Summary

private java.util.Map sessions


Constructor Summary

private WSRPProducerImpl.SessionManager()


Method Summary

(package private) void addSession(javax.servlet.http.HttpSession session)


(package private) javax.servlet.http.HttpSession getSession(java.lang.String sessionId)


private boolean hasSessionExpired(javax.servlet.http.HttpSession session)


(package private) void invalidateSession(java.lang.String sessionId)


(package private) boolean isSessionValid(java.lang.String sessionId)


Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sessions

private java.util.Map sessions

Constructor Detail