Added support for terminating sessions in SessionManager

Ignore-this: c4ab72b66bd2f310f0d321020c58d56c

darcs-hash:20100618121044-1e3d8-17c9d545c3159b8ceacfb11da35fbeab6684b703