/Session.pike/1.1/Fri Oct  7 21:01:52 2005//
/FileSessionStorage.pike/1.5/Tue Oct 18 17:21:40 2005//
/SessionManager.pike/1.8/Tue Oct 18 17:20:32 2005//
/SessionStorage.pike/1.4/Tue Oct 18 17:20:47 2005//
D
