Delete the session cookie on an empty session.

diff --git a/mediagoblin/tools/session.py b/mediagoblin/tools/session.py
index 676bc43e2785966317a06c03619e4772c95fd296..303907b9e337f826cb0898557ae7280293df56cb 100644 (file)
--- a/mediagoblin/tools/session.py
+++ b/mediagoblin/tools/session.py
@@ -57,4 +57,7 @@ class SessionManager(object):
     def save_session_to_cookie(self, session, response):
         if not session.is_updated:
             return
-        response.set_cookie(self.cookie_name, self.signer.dumps(session))
+        elif not session:
+            response.delete_cookie(self.cookie_name)
+        else:
+            response.set_cookie(self.cookie_name, self.signer.dumps(session))