use the session manager from campudus