Thomas Kluyver
ce14f905e0
Fix terminals with Tornado 3
...
The websocket handler auth checking was calling clear_cookie(), which
threw an error because it doesn't make sense for Websockets. It doesn't
seem important, and we silence it in our other websocket handlers, so
silencing it here too.
2014-10-30 18:38:31 -07:00
Scott Sanderson
b4c5755ad4
BUG: Set file encoding for IPython.html.terminal.handlers.
2014-10-30 02:43:22 -04:00
Thomas Kluyver
ea896c3f16
Compatibility fix for Tornado 3.x
2014-10-25 17:15:49 -07:00
Thomas Kluyver
1db2868d37
Use relative URL for redirect in NewTerminalHandler
2014-10-25 17:14:40 -07:00
Thomas Kluyver
a907d8f7f4
Put terminal handlers under base_url
2014-10-25 17:14:40 -07:00
Thomas Kluyver
cbc70a7de7
Add authentication for terminal websockets
2014-10-25 17:14:40 -07:00
Thomas Kluyver
b929b3f09e
Initial REST API for terminals
2014-10-25 17:14:40 -07:00
Thomas Kluyver
9c0084e615
Multiple terminals and conditional initialisation
2014-10-25 17:14:40 -07:00
Thomas Kluyver
d4676bf2ad
Terminal basically working
...
Still need to deal with things like authentication
2014-10-25 17:14:40 -07:00
Thomas Kluyver
d211ebf067
Basic infrastructure for terminal page
2014-10-25 17:14:39 -07:00