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

r7863:28e099c2
r17635:37c057ce
Show More
post_pr_test.py
13 lines | 308 B | text/x-python | PythonLexer
#!/usr/bin/env python
"""Post the results of a pull request test to Github.
"""
from test_pr import TestRun
testrun = TestRun.load_results()
testrun.post_logs()
testrun.print_results()
testrun.post_results_comment()
print()
print("Posted test results to pull request")
print(" " + testrun.pr['html_url'])