jupyter/jupyterhub — pull request #34 by minrk (2014-09-15 08:22:08+00:00)
Title: expand admin HTML page

can add/delete users, and start/stop user servers