User: olegnitz
Date: 02/02/10 09:57:41
Modified: jetty/src/main/org/jboss/jetty/session
DistributedHttpSessionManager.java
Log:
Fresh version of Jetty and patches to Jetty plugin by Jan Bartel
Revision Changes Path
1.10 +13 -2
contrib/jetty/src/main/org/jboss/jetty/session/DistributedHttpSessionManager.java
Index: DistributedHttpSessionManager.java
===================================================================
RCS file:
/cvsroot/jboss/contrib/jetty/src/main/org/jboss/jetty/session/DistributedHttpSessionManager.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -r1.9 -r1.10
--- DistributedHttpSessionManager.java 1 Feb 2002 19:12:03 -0000 1.9
+++ DistributedHttpSessionManager.java 10 Feb 2002 17:57:41 -0000 1.10
@@ -5,7 +5,7 @@
* See terms of license at gnu.org.
*/
-// $Id: DistributedHttpSessionManager.java,v 1.9 2002/02/01 19:12:03 jules_gosnell
Exp $
+// $Id: DistributedHttpSessionManager.java,v 1.10 2002/02/10 17:57:41 olegnitz Exp $
// TODO
@@ -37,6 +37,7 @@
import org.jboss.jetty.util.AbstractTimeOutManager;
import org.jboss.jetty.util.NaiveTimeOutManager;
import org.jboss.logging.Logger;
+import org.mortbay.util.Code;
import org.mortbay.jetty.servlet.ServletHandler;
//------------------------------------------------------------------------------
@@ -175,7 +176,7 @@
//------------------------------------------------------------------------------
/**
*
- * @version $Id: DistributedHttpSessionManager.java,v 1.9 2002/02/01 19:12:03
jules_gosnell Exp $
+ * @version $Id: DistributedHttpSessionManager.java,v 1.10 2002/02/10 17:57:41
olegnitz Exp $
* @author [EMAIL PROTECTED]
*/
//----------------------------------------
@@ -558,6 +559,16 @@
for(int i=0;i<n;i++)
((HttpSessionListener)_sessionListeners.get(i)).sessionDestroyed(event);
}
+ }
+
+ /** Implement the SessionManager interface. As the ServletHandler
+ * is set in the DistributedHttpSessionManager constructor, the
+ * one passed in should be the same.
+ * @param handler
+ */
+ public void initialize (ServletHandler handler)
+ {
+ Code.assertTrue (_handler.equals(handler), "Servlet handlers are the same");
}
}
_______________________________________________
Jboss-development mailing list
[EMAIL PROTECTED]
https://lists.sourceforge.net/lists/listinfo/jboss-development
