##// 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.
MinRK -
r17635:37c057ce
Show More
Name Size Modified Last Commit Author
/ git-hooks
README.md Loading ...
install-hooks.sh Loading ...
post-checkout Loading ...
post-merge Loading ...

git hooks for IPython

add these to your .git/hooks

For now, we just have post-checkout and post-merge,
both of which update submodules and attempt to rebuild css sourcemaps,
so make sure that you have a fully synced repo whenever you checkout or pull.

To use these hooks, run ./install-hooks.sh.
If you havn't initialised and updated the submodules manually, you will then need to run git checkout master to activate the hooks (even if you already have master checked out).