##// END OF EJS Templates
flush pub_socket in OutStream.flush...
flush pub_socket in OutStream.flush This is for when stream.pub_socket is actually a ZMQStream, which would otherwise wait until the event loop iterates to actually call the socket send.
MinRK -
r4476:24bcbc92
Show More
Name Size Modified Last Commit Author
/ tools
alldeps
build_release Loading ...
check_sources.py Loading ...
github_stats.py Loading ...
gitwash_dumper.py Loading ...
make_tarball.py Loading ...
release Loading ...
run_ipy_in_profiler.py Loading ...
testupload Loading ...
toollib.py Loading ...