A very fast and persistent web server session manager backed by LevelDB