Reconnect Websocket when it closes unexpectedly

[invisibleroads]

I'm behind a firewall that seems to close websocket connections after 60 seconds, resulting in the browser message "Websocket connection closed unexpectedly."

Is it possible to reconnect the Websocket when it closes unexpectedly, instead of displaying an error message?

I am looking at start_channels() in IPython/frontend/html/notebook/static/js/kernel.js

[minrk]

We do need to do that, though we haven't yet. This is a duplicate of #1577, so I am closing this. Please continue any further discussion in the original.