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

r5731:a1ccd554
r17635:37c057ce
Show More
testupload
22 lines | 618 B | text/plain | TextLexer
#!/usr/bin/env python
"""Simple upload script to push up into the testing directory a local build
"""
from __future__ import print_function
from toollib import *
# Get main ipython dir, this will raise if it doesn't pass some checks
ipdir = get_ipdir()
distdir = pjoin(ipdir, 'dist')
# Load release info
execfile(pjoin(ipdir, 'IPython','core','release.py'))
# Build site addresses for file uploads
testing_site = '%s/testing/%s' % (archive, version)
cd(distdir)
# Create remote path if it doesn't exist.
sh('ssh %s "mkdir -p %s/testing/%s" ' % (archive_user, archive_dir, version))
sh('scp * %s' % testing_site)