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

r17631:9dae4712
r17635:37c057ce
Show More
build_release
28 lines | 581 B | text/plain | TextLexer
#!/usr/bin/env python
"""IPython release build script.
"""
import os
from shutil import rmtree
from toollib import *
# Get main ipython dir, this will raise if it doesn't pass some checks
ipdir = get_ipdir()
cd(ipdir)
# Load release info
execfile(pjoin('IPython', 'core', 'release.py'))
# Check that everything compiles
compile_tree()
# Cleanup
for d in ['build', 'dist', pjoin('docs', 'build'), pjoin('docs', 'dist'),
pjoin('docs', 'source', 'api', 'generated')]:
if os.path.isdir(d):
rmtree(d)
# Build source and binary distros
sh(sdists)
sh(wheels)