Changeset 9973

Timestamp:

11/18/08 21:05:00 (2 months ago)

Author:

afz

Message:

full optimize delete expired session

Files:

• branches/0.8/jaws/html/include/Jaws/Session.php (modified) (2 diffs)
• branches/0.8/jaws/html/include/Jaws/Session/Web.php (modified) (1 diff)

branches/0.8/jaws/html/include/Jaws/Session.php

@@ -119 +119 @@
-        include_once JAWS_PATH . 'include/Jaws/Session/Cache.php';
-        $this->_cache = new Jaws_Session_Cache;
+
+        // Delete expired sessions
+        $last_expired_file = JAWS_DATA . 'last_expired';
+        $last_expired = @file_get_contents($last_expired_file);
+        if ($last_expired === false || 
+           ($last_expired < (time() - ($GLOBALS['app']->Registry->Get('/policy/session_idle_timeout') * 60))))
+        {
+            Jaws_Utils::file_put_contents($last_expired_file, time());
+            $this->_cache->DeleteExpiredSessions();
+        }
-    }
-
@@ -333 +343 @@
-        $this->SetAttribute('groups', $groups);
-
-        // Delete expired sessions
-        $this->_cache->DeleteExpiredSessions();
-
-        if ($this->Synchronize()) {
-            return true;

branches/0.8/jaws/html/include/Jaws/Session/Web.php

@@ -28 +28 @@
-    function init()
-    {
-        if ($GLOBALS['app']->IsAgentRobot()) {
-            $this->_Logged = false;
-        } else {
-        }
-
-        $session = $this->GetCookie(JAWS_SESSION_ID);
-        if ($session === false || !$this->Load($session)) {