You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by fh...@apache.org on 2004/10/19 23:38:55 UTC

cvs commit: jakarta-tomcat-catalina/modules/cluster/src/share/org/apache/catalina/cluster/session DeltaManager.java

fhanik      2004/10/19 14:38:55

  Modified:    modules/cluster/src/share/org/apache/catalina/cluster/session
                        DeltaManager.java
  Log:
  expire sessions on shutdown is now used to notify sessions in the cluster.
  the sessions on the local box should always expire, this was discovered when the
  context was reloaded and old sessions were still in place
  
  Revision  Changes    Path
  1.32      +3 -3      jakarta-tomcat-catalina/modules/cluster/src/share/org/apache/catalina/cluster/session/DeltaManager.java
  
  Index: DeltaManager.java
  ===================================================================
  RCS file: /home/cvs/jakarta-tomcat-catalina/modules/cluster/src/share/org/apache/catalina/cluster/session/DeltaManager.java,v
  retrieving revision 1.31
  retrieving revision 1.32
  diff -u -r1.31 -r1.32
  --- DeltaManager.java	29 Sep 2004 16:43:44 -0000	1.31
  +++ DeltaManager.java	19 Oct 2004 21:38:55 -0000	1.32
  @@ -693,7 +693,7 @@
           started = false;
   
           // Expire all active sessions
  -        if ( this.getExpireSessionsOnShutdown() ) {
  +        {
               log.info("Expiring sessions upon shutdown");
               Session sessions[] = findSessions();
               for (int i = 0; i < sessions.length; i++) {
  @@ -701,7 +701,7 @@
                   if (!session.isValid())
                       continue;
                   try {
  -                    session.expire();
  +                    session.expire(true, this.getExpireSessionsOnShutdown());
                   }
                   catch (Throwable t) {
                       ;
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-dev-help@jakarta.apache.org