Zev Benjamin 88e09c6166 Only reload the page when the user is idle ... Also, clean up reload-related function names a bit (imported from commit 4c2e17c06d7567e71b92f6e1b04a44aeff419bff)		2012-10-19 15:53:05 -04:00
..
jslint	Only reload the page when the user is idle	2012-10-19 15:53:05 -04:00
check-all	check-all: Show unused imports if passed --imports	2012-10-15 16:16:10 -04:00
clean-repo	Add a tool for removing stale *.pyc files	2012-10-12 13:28:09 -04:00
django-template-graph	django-template-graph: Replace slashes with newlines	2012-10-16 01:45:37 -04:00
do-schema-change	do-schema-change: Recreate the auth_user email index.	2012-10-12 11:09:53 -04:00
post-receive	post-receive: Send the bot message before killing the server	2012-10-18 10:47:28 -04:00
run-dev.py	run-dev: Update for new get_updates URL	2012-10-17 18:24:15 -04:00
update-deployment	Restart runtornado on deploy, as well	2012-10-18 16:50:01 -04:00