Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Allow for configuration of session id generation and format. #204
This patch allows a configurable strategy for how session ids are generated and allows configurable encoding when it makes sense. It defaults to the existing uuid generation and format.
It also tries to follow the best practices for SecureRandom mentioned in the issue #11 and borrows some ideas from how Tomcat and Jetty generate ids.