##// END OF EJS Templates
close websocket connections on ping/pong timeout...
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. Setting ws_ping_timeout = 0 disables the ping mechanism altogether.

File last commit:

r16114:15cc5a8e
r17635:37c057ce
Show More
embed3.py
7 lines | 327 B | text/x-python | PythonLexer
"""This tests passing local_ns and global_ns (for backwards compatibility only)
at activation of an embedded shell."""
from IPython.terminal.embed import InteractiveShellEmbed
user_ns = dict(cookie='monster')
ISE = InteractiveShellEmbed(banner1='check cookie in locals, and globals empty')
ISE(local_ns=user_ns, global_ns={})