Hi Rob, Not sure what could have caused that, but it's plausible that we broke it without noticing at some point. Do you want to open an issue on jupyter/notebook to reduce the chance that it gets forgotten?
Thomas On 23 January 2018 at 17:09, <[email protected]> wrote: > Hello, > > I'm running Jupyter behind a reverse proxy. I noticed in the UI that the > kernel would periodically get killed and recreated, and found it was due to > the proxy killing idle websocket connections. I increased the proxy's idle > timeout and the errors went away. > > However I did some research and found that Jupyter SHOULD be sending > periodic pings to keep websockets alive, based on this code anyway: > https://github.com/jupyter/notebook/blob/master/notebook/ > base/zmqhandlers.py#L88 > > This doesn't seem to be happening in our case. I tried playing with the > `ws_ping_interval` setting but it doesn't seem to have any effect. Any > ideas why websocket pings wouldn't be happening, or how to debug this > further? I'm running Jupyter 4.4.0 FWIW. > > Thanks, > Rob > > -- > You received this message because you are subscribed to the Google Groups > "Project Jupyter" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit https://groups.google.com/d/ > msgid/jupyter/d3452e25-e4d0-41d0-8de1-f7a45e0ca439%40googlegroups.com > <https://groups.google.com/d/msgid/jupyter/d3452e25-e4d0-41d0-8de1-f7a45e0ca439%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CAOvn4qiL009P8q1pPDPswjHbTT2r%3DdiaEv00dho21ohnHjapEA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
