# HG changeset patch
# User paulb
# Date 1095789421 0
# Node ID ec2c201fc35579ffcb0d4b0a960b111b49e0080e
# Parent  e51d43d7726c2fb0f68927765c7b5df7803637b8
[project @ 2004-09-21 17:57:01 by paulb]
Fixed expired session handling.

diff -r e51d43d7726c -r ec2c201fc355 examples/Common/Sessions/__init__.py
--- a/examples/Common/Sessions/__init__.py	Tue Sep 21 17:56:37 2004 +0000
+++ b/examples/Common/Sessions/__init__.py	Tue Sep 21 17:57:01 2004 +0000
@@ -43,6 +43,7 @@
             elif fields.has_key("expire"):
                 trans.expire_session()
                 message = "Session expired!"
+                session = None
         else:
             message = "No session present - use create to add one."