Revision 0a0a7a22ebba5730e7988ff4cdf435cd678acc92

Committed on 18/05/2014 8:56 pm by Peter Keung <[email protected]> [GitHub Diff]

Fixes for caching pages for logged in users: set/unset cookie on login/logout; do not use user hash for anonymous users; add option to add timestamp to user hash; tell the browser to vary by cookie