Author: christian.bauer(a)jboss.com Date: 2008-05-21 07:19:32 -0400 (Wed, 21 May 2008) New Revision: 8248 Modified: trunk/examples/wiki/src/main/org/jboss/seam/wiki/WikiInit.java Log: Optional extended session lifetime for authenticated users Modified: trunk/examples/wiki/src/main/org/jboss/seam/wiki/WikiInit.java =================================================================== --- trunk/examples/wiki/src/main/org/jboss/seam/wiki/WikiInit.java 2008-05-21 10:39:00 UTC (rev 8247) +++ trunk/examples/wiki/src/main/org/jboss/seam/wiki/WikiInit.java 2008-05-21 11:19:32 UTC (rev 8248) @@ -36,6 +36,7 @@ private String adminContact; private boolean debug; private boolean hibernateStatistics = true; + private int authenticatedSessionTimeoutMinutes = 0; @In(required = false) DBUnitImporter dbunitImporter; @@ -110,6 +111,14 @@ this.hibernateStatistics = hibernateStatistics; } + public int getAuthenticatedSessionTimeoutMinutes() { + return authenticatedSessionTimeoutMinutes; + } + + public void setAuthenticatedSessionTimeoutMinutes(int authenticatedSessionTimeoutMinutes) { + this.authenticatedSessionTimeoutMinutes = authenticatedSessionTimeoutMinutes; + } + /** Utility to debug JBoss JNDI problems */ public static String listJNDITree(String namespace) { StringBuffer buffer = new StringBuffer(4096);