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

File last commit:

r3199:7d03350d
r4476:24bcbc92
Show More
.git_commit_info.ini
9 lines | 276 B | text/x-ini | IniLexer
# This is an ini file that may contain information about the code state
[commit hash]
# The line below may contain a valid hash if it has been substituted during
# 'git archive'
archive_subst_hash=$Format:%h$
# This line may be modified by the install process
install_hash=