monkeyking

Author	SHA1	Message	Date
Min RK	ac7454b0d5	require terminado >= 0.3.3 for terminal handlers	12 years ago
Min RK	884b305e10	hook up terminado logger	12 years ago
Min RK	96183a60a0	create new terminals with POST /api/terminals instead of GET terminals/new to be consistent with creating new notebooks. We had to stop using GET notebooks/new because browsers would create new notebooks when making preview thumbnails for commonly visited pages, etc. I assume the same issue would apply to terminals	12 years ago
Thomas Kluyver	a907d8f7f4	Put terminal handlers under base_url	12 years ago
Thomas Kluyver	b929b3f09e	Initial REST API for terminals	12 years ago
Thomas Kluyver	9c0084e615	Multiple terminals and conditional initialisation	12 years ago
Thomas Kluyver	d211ebf067	Basic infrastructure for terminal page	12 years ago