##// 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:

r4872:34c10438
r17635:37c057ce
Show More
run_ipy_in_profiler.py
23 lines | 622 B | text/x-python | PythonLexer
/ tools / run_ipy_in_profiler.py
#!/usr/bin/env python
"""XXX - What exactly is the use of this script?
I (fperez) tried it quickly and it doesn't work in its current form. Either it
needs to be fixed and documented or removed.
"""
import cProfile as profile
import sys
#import profile
def main():
import IPython.ipapi
print "Entering ipython for profiling. Type 'Exit' for profiler report"
IPython.ipapi.launch_new_instance()
if len(sys.argv) == 1:
profile.run('main()', 'ipython_profiler_results')
import pstats
p = pstats.Stats(len(sys.argv) >1 and sys.argv[1] or 'ipython_profiler_results')
p.sort_stats('time').print_stats(30)