jupyter/jupyterhub — pull request #49 by minrk (2014-09-22 23:04:43+00:00)
Title: periodically poll single-user servers

If they aren't running, unregister them and remove them from the proxy so that future logins are handled by the hub, and spawn new servers.