Add a (easily overriden) refreshSession

git-svn-id: https://samskivert.googlecode.com/svn/trunk@2278 6335cc39-0255-0410-8fd6-9bcaacd3b74c

src/java/com/samskivert/servlet/user/UserManager.java

@@ -3,7 +3,7 @@
 //
 // samskivert library - useful routines for java programs
 // Copyright (C) 2001-2007 Michael Bayne
-// 
+//
 // This library is free software; you can redistribute it and/or modify it
 // under the terms of the GNU Lesser General Public License as published
 // by the Free Software Foundation; either version 2.1 of the License, or
@@ -359,6 +359,18 @@ public class UserManager
         rsp.addCookie(c);
     }
 
+    /**
+     * Validates that the supplied session key is still valid and if so, refreshes it for the
+     * specified number of days.
+     *
+     * @return true if the session was located and refreshed, false otherwise.
+     */
+    public boolean refreshSession (String sessionKey, int expireDays)
+        throws PersistenceException
+    {
+        return _repository.refreshSession(sessionKey, expireDays);
+    }
+
     /**
      * Called by the user manager to create the user repository. Derived classes can override this
      * and create a specialized repository if they so desire.