close websocket connections on ping/pong timeout

we recently added ws pings for keep alive, and we can now use the longs to close dead connections.

This can apparently happen when connections are not closed cleanly, e.g. on VPNs.

closes #6299

Setting ws_ping_timeout = 0 disables the ping mechanism altogether.
@minrk OK it is the zeromq sockets, I will open a new issue.


On Wed, Aug 13, 2014 at 3:09 PM, Alex Rothberg <notifications@github.com>
wrote:

> In IPython/html/base/zmqhandlers.py:
>
> >
> >          self.ping(b'')
> > +
> > +    def on_pong(self, data):
>
> What calls on_pong?
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/ipython/ipython/pull/6302/files#r16197976>.
>



-- 
Brian E. Granger
Cal Poly State University, San Luis Obispo
@ellisonbg on Twitter and GitHub
bgranger@calpoly.edu and ellisonbg@gmail.com