jupyter/jupyterhub — pull request #30 by minrk (2014-09-14 05:43:54+00:00)
Title: getting started with REST API

I've only implemented a couple at this point.

API proposal so far:

/authorizations/[cookie_token]

GET: check user for cookie

/proxy/routes

GET: list routes
POST: new route
DELETE: remove route

/users

GET list users (admin)
POST new user (admin)

/users/[user]

GET user info
PATCH modify user (admin)

/users/[user]/server

POST: start server
DELETE: stop server