diff options
Diffstat (limited to 'mediagoblin/tools/request.py')
| -rw-r--r-- | mediagoblin/tools/request.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mediagoblin/tools/request.py b/mediagoblin/tools/request.py index bc67b96f..ee342eae 100644 --- a/mediagoblin/tools/request.py +++ b/mediagoblin/tools/request.py @@ -35,4 +35,4 @@ def setup_user_in_request(request): # Something's wrong... this user doesn't exist? Invalidate # this session. _log.warn("Killing session for user id %r", request.session['user_id']) - request.session.invalidate() + request.session.delete() |