Reverted to using shelve database for storing sessions: there are too many files otherwise.
Reverted to using shelve database for storing sessions: there are too many files otherwise.

cwi-dis/igor,cwi-dis/igor,cwi-dis/igor