Burtiraven2/session_redis_public
1
0
Fork 0
mirror of https://github.com/camptocamp/odoo-cloud-platform.git synced 2026-06-24 08:47:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #25 from guewen/monitoring-short-living-sessions

Browse Source 
Expire sessions generated by health checks quickly
This commit is contained in:
jcoux
2018-01-11 08:20:39 +01:00
committed by GitHub
co-authored by GitHub
parent 7f5f6d0f92 a0c926a478
commit 06e6f96326
2 changed files with 14 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
session_redis/session.py
+5 -2
View File
@@ -39,6 +39,9 @@ class RedisSessionStore(SessionStore):
def save(self, session):
key = self.build_key(session.sid)
# allow to set a custom expiration for a session
# such as a very short one for monitoring requests
expiration = session.expiration or self.expiration
if _logger.isEnabledFor(logging.DEBUG):
if session.uid:
user_msg = "user '%s' (id: %s)" % (
@@ -47,10 +50,10 @@ class RedisSessionStore(SessionStore):
user_msg = "anonymous user"
_logger.debug("saving session with key '%s' and "
"expiration of %s seconds for %s",
key, self.expiration, user_msg)
key, expiration, user_msg)
if self.redis.set(key, json.dumps(dict(session))):
return self.redis.expire(key, self.expiration)
return self.redis.expire(key, expiration)
def delete(self, session):
key = self.build_key(session.sid)