1.1 --- a/WebStack/Helpers/Session.py Fri Aug 19 12:17:24 2005 +0000
1.2 +++ b/WebStack/Helpers/Session.py Fri Aug 19 12:17:42 2005 +0000
1.3 @@ -22,7 +22,6 @@
1.4
1.5 import shelve
1.6 import os
1.7 -import glob
1.8 import time
1.9 import random
1.10 import sys
1.11 @@ -127,6 +126,11 @@
1.12 created.
1.13 """
1.14
1.15 + if self.store is not None:
1.16 + return self.store
1.17 +
1.18 + # No existing store - get the token and the actual session.
1.19 +
1.20 cookie = self.trans.get_cookie(self.session_cookie_name)
1.21 if cookie:
1.22 return self._get_session(cookie.value, create)
1.23 @@ -153,7 +157,7 @@
1.24
1.25 # Where the session is present (possibly being edited)...
1.26
1.27 - if glob.glob(filename + "*"):
1.28 + if os.path.exists(filename) or os.path.exists(filename + ".edit"):
1.29 while 1:
1.30 try:
1.31 os.rename(filename, filename + ".edit")