Viewing all changes in revision 650.
- Committer: Julian Taylor
- Date: 2014-08-20 22:00:11 UTC
- Revision ID: jtaylor@ubuntu.com-20140820220011-wfz4op7i2t35bo4i
f98e5939d5cff1b98b4fd9260083385919383d12 Merge pull request #6305 from minrk/switch-kernel-close-ws
655f2243b5c46f8d7308240408bd5e06f0f09fcc improve indicators and handling of dead kernels and broken websocket connections
fb1ac74cabfa07f93ad497cbc4762ac721d908f8 avoid race condition when deleting/starting sessions
5e9f12e77ba44f96593b24885bf71e42b7469f13 handle undefined or closed zmq_stream in on_message
5d9d0dacdfeddd33bfca4bced9e6316f053a9b35 JS: close WebSockets when killing kernels
655f2243b5c46f8d7308240408bd5e06f0f09fcc improve indicators and handling of dead kernels and broken websocket connections
fb1ac74cabfa07f93ad497cbc4762ac721d908f8 avoid race condition when deleting/starting sessions
5e9f12e77ba44f96593b24885bf71e42b7469f13 handle undefined or closed zmq_stream in on_message
5d9d0dacdfeddd33bfca4bced9e6316f053a9b35 JS: close WebSockets when killing kernels
- files added:
- IPython/html/tests/services/session.js
- files modified:
- IPython/html/services/kernels/handlers.py
expand all
collapse all
added
removed
