Changeset 937
- Timestamp:
- 01/25/06 03:11:08
- Files:
-
- trunk/cherrypy/filters/sessionfilter.py (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/cherrypy/filters/sessionfilter.py
r934 r937 233 233 toBeDeleted.append(id) 234 234 for id in toBeDeleted: 235 sess.onDeleteSession(cherrypy._session_data_holder[id]) 236 del cherrypy._session_data_holder[id] 235 try: 236 del cherrypy._session_data_holder[id] 237 sess.onDeleteSession(cherrypy._session_data_holder[id]) 238 except KeyError: 239 # The session probably got deleted by a concurrent thread 240 # Safe to ignore this case 241 pass 237 242 238 243

