Context Navigation

Ticket #18194: files-sessions-server-expiry-1.patch

File files-sessions-server-expiry-1.patch, 1.1 KB (added by Rohan Jain, 13 years ago)
Patch 1 - Use OS file info to expire sessions

diff --git a/django/contrib/sessions/backends/file.py b/django/contrib/sessions/backends/file.py
index cb81534..024a193 100644

-              a
 import errno
 import os
 import tempfile
+import time
 from django.conf import settings
 from django.contrib.sessions.backends.base import SessionBase, CreateError
-…
+               class SessionStore(SessionBase):
             session_file = open(self._key_to_file(), "rb")
             try:
                 file_data = session_file.read()
+                # The age of session file from last modify time
+                age = time.time() - os.path.getmtime(self._key_to_file())
+                expired = age > settings.SESSION_COOKIE_AGE
                 # Don't fail if there is no data in the session file.
                 # We may have opened the empty placeholder file.
                 if file_data:
+                if not expired and file_data:
                     try:
                         session_data = self.decode(file_data)
                     except (EOFError, SuspiciousOperation):