MinRK 3ee19c6563 only store hashed user_id in notebook cookie ... hashed user_id is used for authentication, rather than hashed password. Thus, user cookie is only set after authentication succeeds.		2011-09-06 15:48:20 -07:00
..
frontend/html/notebook	only store hashed user_id in notebook cookie	2011-09-06 15:48:20 -07:00
testing	Check for tornado before running frontend.html tests.	2011-08-30 09:39:57 -07:00
utils/tests	io.Term.cin/out/err replaced by io.stdin/out/err	2011-04-27 11:35:53 -07:00