zulip/tools
Keegan McAllister f109d23bba Restart runtornado on deploy, as well
We need this for client auto-reload on static file changes, because the server
generation comes from get_updates.

(imported from commit c5e97421883383c12891fdcb177d0f6fda4b4857)
2012-10-18 16:50:01 -04:00
..
jslint Module pattern for subs.js 2012-10-18 15:46:58 -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