jupyter/jupyterhub — pull request #38 by minrk (2014-09-19 00:21:42+00:00)
Title: restart the proxy if it goes down

and populate its table from the database

- move some utility functions to ORM classes
- make some HTTP requests async

closes #26